Function prim_rel 

pub(crate) fn prim_rel(
    genv: GlobalEnv<'_, '_>,
) -> QueryResult<UnordMap<BinOp, PrimRel>>