Module EConstr.UnsafeMonomorphic
val mkConst : Names.Constant.t -> tval mkInd : Names.inductive -> tval mkConstruct : Names.constructor -> t
EConstr.UnsafeMonomorphicval mkConst : Names.Constant.t -> tval mkInd : Names.inductive -> tval mkConstruct : Names.constructor -> t