Module type TermTyped.BUILD

module type BUILD = sig .. end

type t 

val build : ?loc:TermTyped.loc ->
       ty:t -> t TermTyped.view -> t

val kind : t