sig
  type t
  val build :
    ?loc:TermTyped.loc ->
    ty:TermTyped.BUILD.t ->
    TermTyped.BUILD.t TermTyped.view -> TermTyped.BUILD.t
  val kind : TermTyped.BUILD.t
end