Declaremods.Synterpval declare_module : Names.Id.t -> module_params -> (Constrexpr.module_ast * inline) module_signature -> (Constrexpr.module_ast * inline) list -> Names.ModPath.t * module_params_expr * module_expr list * module_expr module_signatureval start_module : Lib.export -> Names.Id.t -> module_params -> (Constrexpr.module_ast * inline) module_signature -> Names.ModPath.t * module_params_expr * module_expr module_signatureval end_module : unit -> Names.ModPath.tval declare_include : (Constrexpr.module_ast * inline) list -> module_expr listval declare_modtype : Names.Id.t -> module_params -> (Constrexpr.module_ast * inline) list -> (Constrexpr.module_ast * inline) list -> Names.ModPath.t * module_params_expr * module_expr list * module_expr listval start_modtype : Names.Id.t -> module_params -> (Constrexpr.module_ast * inline) list -> Names.ModPath.t * module_params_expr * module_expr listval end_modtype : unit -> Names.ModPath.tval import_module : Libobject.open_filter -> export:Lib.export_flag -> Names.ModPath.t -> unitval import_modules : export:Lib.export_flag -> (Libobject.open_filter * Names.ModPath.t) list -> unitval register_library : library_name -> library_objects -> unit