Function primop_props 

pub(crate) fn primop_props(
    genv: GlobalEnv<'_, '_>,
) -> QueryResult<Vec<PrimOpProp>>