Poly.Named
val is_subset : 'a named -> of_:'a named -> unit Or_error.t
val equal : 'a named -> 'a named -> unit Or_error.t