type t
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
class traverse : object ... end
val match_named : t ‑> [ `Named of Name.t * t option | `Other of t ]
val cons_named : Name.t ‑> t option ‑> t