Extraction_plugin.Modutil
val struct_ast_search : (Miniml.ml_ast -> bool) -> Miniml.ml_structure -> bool
val struct_type_search : (Miniml.ml_type -> bool) -> Miniml.ml_structure -> bool
type do_ref = Names.GlobRef.t -> unit
val type_iter_references : do_ref -> Miniml.ml_type -> unit
val ast_iter_references : do_ref -> do_ref -> do_ref -> Miniml.ml_ast -> unit
val decl_iter_references : do_ref -> do_ref -> do_ref -> Miniml.ml_decl -> unit
val spec_iter_references : do_ref -> do_ref -> do_ref -> Miniml.ml_spec -> unit
val signature_of_structure : Miniml.ml_structure -> Miniml.ml_signature
val mtyp_of_mexpr : Miniml.ml_module_expr -> Miniml.ml_module_type
val msid_of_mt : Miniml.ml_module_type -> Names.ModPath.t
val get_decl_in_structure : Names.GlobRef.t -> Miniml.ml_structure -> Miniml.ml_decl
val optimize_struct : (Names.GlobRef.t list * Names.ModPath.t list) -> Miniml.ml_structure -> Miniml.ml_structure