sig
type
t
val
repr : t repr
val
build : t build
end