Context_object.Head
type t =
| None of {
location : Beluga_syntax.Syncom.Location.t;
}
| Identity of {