Module Constr.UnsafeMonomorphic
val mkConst : Names.Constant.t -> constrval mkInd : Names.inductive -> constrval mkConstruct : Names.constructor -> constr
Constr.UnsafeMonomorphicval mkConst : Names.Constant.t -> constrval mkInd : Names.inductive -> constrval mkConstruct : Names.constructor -> constr