package alba
Alba compiler
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.3.tar.gz
sha256=062f33c55ef39706c4290dff67d5a00bf009051fd757f9352be527f629ae21fc
md5=eb4edc4d6b7e15b83d6397bd34994153
doc/src/alba.core/alba_core.ml.html
Source file alba_core.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40(* generated by dune *) (** @canonical Alba_core.Context *) module Context = Alba_core__Context (** @canonical Alba_core.Gamma *) module Gamma = Alba_core__Gamma (** @canonical Alba_core.Gamma_algo *) module Gamma_algo = Alba_core__Gamma_algo (** @canonical Alba_core.Gamma_holes *) module Gamma_holes = Alba_core__Gamma_holes (** @canonical Alba_core.Inductive *) module Inductive = Alba_core__Inductive (** @canonical Alba_core.Name_map *) module Name_map = Alba_core__Name_map (** @canonical Alba_core.Operator *) module Operator = Alba_core__Operator (** @canonical Alba_core.Print_inductive *) module Print_inductive = Alba_core__Print_inductive (** @canonical Alba_core.Term *) module Term = Alba_core__Term (** @canonical Alba_core.Term_printer *) module Term_printer = Alba_core__Term_printer (** @canonical Alba_core.Term_trie *) module Term_trie = Alba_core__Term_trie (** @canonical Alba_core.Typecheck *) module Typecheck = Alba_core__Typecheck (** @canonical Alba_core.Unifier *) module Unifier = Alba_core__Unifier