Subst (melange.Melange_compiler

type t;

let identity: t;

let add_type: Ident.t => Path.t => t => t;

let add_type_path: Path.t => Path.t => t => t;

let add_type_function: 
  Path.t =>
  params:list(Types.type_expr) =>
  body:Types.type_expr =>
  t =>
  t;

let add_module: Ident.t => Path.t => t => t;

let add_module_path: Path.t => Path.t => t => t;

let add_modtype: Ident.t => Types.module_type => t => t;

let add_modtype_path: Path.t => Types.module_type => t => t;

let for_saving: t => t;

let reset_for_saving: unit => unit;

let change_locs: t => Location.t => t;

let module_path: t => Path.t => Path.t;

let type_path: t => Path.t => Path.t;

let modtype_path: t => Path.t => Path.t;

let type_expr: t => Types.type_expr => Types.type_expr;

let class_type: t => Types.class_type => Types.class_type;

let value_description: t => Types.value_description => Types.value_description;

let type_declaration: t => Types.type_declaration => Types.type_declaration;

let extension_constructor: 
  t =>
  Types.extension_constructor =>
  Types.extension_constructor;

let class_declaration: t => Types.class_declaration => Types.class_declaration;

let cltype_declaration: 
  t =>
  Types.class_type_declaration =>
  Types.class_type_declaration;

type scoping =

;

let modtype: scoping => t => Types.module_type => Types.module_type;

let signature: scoping => t => Types.signature => Types.signature;

let signature_item: 
  scoping =>
  t =>
  Types.signature_item =>
  Types.signature_item;

let modtype_declaration: 
  scoping =>
  t =>
  Types.modtype_declaration =>
  Types.modtype_declaration;

let module_declaration: 
  scoping =>
  t =>
  Types.module_declaration =>
  Types.module_declaration;

let compose: t => t => t;

let ctype_apply_env_empty: 
  Stdlib.ref((list(Types.type_expr) =>
    Types.type_expr =>
    list(Types.type_expr) =>
    Types.type_expr));

module Lazy: { ... };