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