Bi_mappable.Make2
Make2
implements S2 for an arity-2 bi-mappable container.
module I : Bi_mappable_types.Basic2
Type of containers.
include Base.T2 with type ('l, 'r) t = ('l, 'r) I.t
type ('l, 'r) t = ('l, 'r) I.t
include Bi_mappable_types.Generic
with type ('l, 'r) t := ('l, 'r) t
and type 'l left := 'l
and type 'r right := 'r
include Bi_mappable_types.Basic_generic
with type ('l, 'r) t := ('l, 'r) t
with type 'l left := 'l
with type 'r right := 'r
include Generic_types.Bi_generic
with type ('l, 'r) t := ('l, 'r) t
with type 'l left := 'l
with type 'r right := 'r
map_left c ~f
maps f
over the left type of c
only.