Bi_mappable.Fix2_right
Fix2_right (S) (Left)
fixes the right type of S
to Right
, making it an S1_left.
module I : Bi_mappable_types.Basic2
include Generic_types.Bi_left
with type 'l t = ('l, Right.t) I.t
with type right = Right.t
type 'l t = ('l, Right.t) I.t
Partially fixed type of containers.