sig
type
t
val
build :
TermInner
.
BUILD
.t
TermInner
.build
end