Module type TermInner.BUILD

module type BUILD = sig .. end

type t 

val build : t TermInner.build