package alba

  1. Overview
  2. Docs
module Pretty_printer : sig ... end
module Term_print : sig ... end
module Expression = Ast.Expression
module Expression_parser : sig ... end
module Error_print : sig ... end
val standard_context : Alba_core.Context.t
val string_of_term_type : Alba_core.Term.t -> Alba_core.Term.t -> string
val string_of_description : Build_problem.description -> string
val build_expression : string -> (Alba_core.Term.t * Alba_core.Term.typ, Build_problem.t) Stdlib.result
OCaml

Innovation. Community. Security.