Module `CLF.Context_object`

Contextual LF substitutions and contexts blurred together.

type t = {

location : Beluga_syntax.Syncom.Location.t;
head : Context_object.Head.t;
objects : (Beluga_syntax.Syncom.Identifier.t Support.Option.t * Object.t) Support.List.t;

}

module Head : sig ... end