Module Alba_core__.Type_error

type t =
| Higher_universe of int
| Not_a_type
| Naming_no_type_variable
| Naming_type_variable
| Name_not_found of string
| Wrong_type of Alba_core__.Term.typ * Alba_core__.Term.typ * Alba_core__.Gamma.t
| No_type_allowed of Alba_core__.Term.typ * Alba_core__.Gamma.t
| Not_a_function of Alba_core__.Term.typ * Alba_core__.Gamma.t
| Pi_not_a_function
| Not_yet_implemented of string
module Print : functor (P : Fmlib.Pretty_printer.SIG) -> sig ... end