sig
  type t
  val repr : t -> t view
  val ty : t -> t option
  val loc : t -> loc option
  val build : ?loc:loc -> ty:t -> t view -> t
  val kind : t
end