Unsafe (ocaml.Subst.Unsafe)

type t = unsafe subst

val add_modtype : Ident.t -> Types.module_type -> 'any subst -> t

val add_modtype_path : Path.t -> Types.module_type -> 'any subst -> t

val add_type_path : Path.t -> Path.t -> t -> t

val add_type_function : 
  Path.t ->
  params:Types.type_expr list ->
  body:Types.type_expr ->
  t ->
  t

val add_module_path : Path.t -> Path.t -> t -> t

type error =

val type_declaration : 
  t ->
  Types.type_declaration ->
  (Types.type_declaration, error) result

val signature_item : 
  scoping ->
  t ->
  Types.signature_item ->
  (Types.signature_item, error) result

val signature : 
  scoping ->
  t ->
  Types.signature ->
  (Types.signature, error) result

val compose : t -> t -> (t, error) result