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