Make.Address
type var = Impl.Boolean.var list
type value = int
val typ : depth:int -> ( var, value ) Impl.Typ.t