Up – Package index » alba » Library alba.albalib » Albalib » Builder

Module `Albalib.Builder`Source

Sourcetype pos = Fmlib.Character_parser.Position.t

Sourcetype range = pos * pos

Sourcetype problem_description

Sourcetype problem = range * problem_description

val build : 
  Ast.Expression.t ->
  Context.t ->
  ((Term.t * Term.typ) list, problem) result

Sourcemodule Print (P : Fmlib.Pretty_printer.SIG) : sig ... end