Module Albalib.Test_builder

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.typBuild_problem.t) Stdlib.result