Module Meta.Context

External meta-contexts.

type t = {
  1. location : Syncom.Location.t;
  2. bindings : (Syncom.Identifier.t * Typ.t) Support.List.t;
}

{ Context.bindings; _ } is the meta-context

  • ^ if bindings = []
  • x1 : a1, x2 : a2, ..., xn : an if bindings = [("x1", a1, _); ("x2", a2, _); ...; ("xn", an, _)]