package alba
Alba compiler
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.2.tar.gz
sha256=203ee151ce793a977b2d3e66f8b3a0cd7a82cc7f15550c63d88cb30c71eb5f95
md5=64367c393f80ca784f88d07155da4fb0
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(* 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.Name_map *) module Name_map = Alba_core__Name_map (** @canonical Alba_core.Operator *) module Operator = Alba_core__Operator (** @canonical Alba_core.Term *) module Term = Alba_core__Term (** @canonical Alba_core.Term_printer *) module Term_printer = Alba_core__Term_printer (** @canonical Alba_core.Typecheck *) module Typecheck = Alba_core__Typecheck (** @canonical Alba_core.Unifier *) module Unifier = Alba_core__Unifier