alba.core
Alba_core
alba.albalib
alba.fmlib
alba.fmlib_js
alba.fmlib_native
alba.fmlib_node
module Context : sig ... end
module Gamma : sig ... end
module Gamma_algo : sig ... end
module Gamma_holes : sig ... end
Gamma_holes is a context with holes which can be filled later. A hole is a local unnamed variable with a type (i.e. an assumption that an element with this type exists), initially without value. Later on the value can be provided.
Gamma_holes
module Inductive : sig ... end
module Name_map : sig ... end
module Operator : sig ... end
module Print_inductive : sig ... end
module Term : sig ... end
module Term_printer : sig ... end
module Term_trie : sig ... end
module Typecheck : sig ... end
module Unifier : sig ... end