Module Comp.Context

External computation-level contexts.

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

{ Context.bindings; _ } is the computation-level context

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