Module Build_context.WhereSource

Sourceval start : string Fmlib.Character_parser.Located.t -> t -> t

Start a where expression with the name of the local definition.

Sourceval end_ : int -> t -> (t, type_in_context * type_in_context) result