Bi_mappable_types.Basic1_right
Basic1_right
is the signature of an arity-1 bi-mappable type with a floating right type and fixed left type.
Functions mapped over arity-1 types may change the right element type, but not the left.
include Generic_types.Bi_right