sig
  type t
  val repr : TermTyped.REPR.t -> TermTyped.REPR.t TermTyped.view
  val ty : TermTyped.REPR.t -> TermTyped.REPR.t option
  val loc : TermTyped.REPR.t -> TermTyped.loc option
end