Module Oug_mtype


module Oug_mtype: sig .. end

exception Unknown_type_field of Oug_types.absname
val add_depend_on_type_field : Oug_mod.t ->
Oug_types.elt_id -> Oug_types.depend -> Oug_types.absname -> Oug_mod.t
val add_depend_on_variant_constructor : Oug_mod.t ->
Oug_types.elt_id ->
Oug_types.depend -> Env.t -> Types.constructor_description -> Oug_mod.t
val add_depend_on_record_label : Oug_mod.t ->
Oug_types.elt_id -> Oug_types.depend -> Types.label_description -> Oug_mod.t
val tstr_type : Oug_mod.t -> (Ident.t * Types.type_declaration) list -> Oug_mod.t
val tmty_signature : functor_args_only:bool ->
alias:string * string list ->
Env.t ->
Oug_mod.t -> Types.signature -> Oug_mod.t * (string * Oug_types.elt_id) list
val add_from_module_type : ?functor_args_only:bool ->
?alias:string * string list ->
Env.t ->
Oug_mod.t ->
Types.module_type -> Oug_mod.t * (string * Oug_types.elt_id) list
val filter_intf : 'a -> 'b -> 'a
val get_final_signature : Env.t -> Types.module_type -> Types.signature