module type Loc : sig ... end
module type Additional_helpers : sig ... end
module type Located : sig ... end
type 'a without_location
= 'a
type 'a with_location
= loc:Ppxlib.Location.t ‑> 'a
module type S : sig ... end