Pcoq.Module
val module_expr : Constrexpr.module_ast Entry.t
val module_type : Constrexpr.module_ast Entry.t