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