package asli

  1. Overview
  2. Docs
val mutable forest : tree Bindings.t
method private find : tree -> tree
method private find_ident : AST.ident -> tree
method canonicalize : AST.ident -> AST.ident
method merge : AST.ident -> AST.ident -> unit
method private normalize : unit
method mapping : AST.ident Bindings.t
method classes : IdentSet.t Bindings.t
method pp : string -> unit