Comp.Context_object
type t = {
location : Beluga_syntax.Syncom.Location.t;
bindings : (Beluga_syntax.Syncom.Identifier.t * Sort_object.t Support.Option.t) Support.List.t;
}