alba

Alba compiler
IN THIS PACKAGE
val start : t -> t
val check : int -> t -> ( t, int ) result
val end_ : int -> int -> t -> ( t, type_in_context * type_in_context ) result

end_ nargs nbounds bc