Melange_compiler_libs.Subst
let identity: t;
let add_type_function:
Path.t =>
params:list(Types.type_expr) =>
body:Types.type_expr =>
t =>
t;
let add_modtype: Ident.t => Types.module_type => t => t;
let add_modtype_path: Path.t => Types.module_type => t => t;
let change_locs: t => Location.t => 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;
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 ctype_apply_env_empty:
Stdlib.ref((list(Types.type_expr) =>
Types.type_expr =>
list(Types.type_expr) =>
Types.type_expr));
module Lazy: { ... };