Module S_poly.Named
val is_subset : 'a named -> of_:'a named -> unit Or_error.tval equal : 'a named -> 'a named -> unit Or_error.t
S_poly.Namedval is_subset : 'a named -> of_:'a named -> unit Or_error.tval equal : 'a named -> 'a named -> unit Or_error.t