Module ComPrimitive

val do_primitive : Names.lident -> Constrexpr.universe_decl_expr option -> CPrimitives.op_or_type -> Constrexpr.constr_expr option -> unit