Bi_mappable.Fix2_left
Fix2_left (I) (Left)
fixes the left type of I
to Left
, making it an S1_right.
module I : Bi_mappable_types.Basic2
include Generic_types.Bi_right
with type 'r t = (Left.t, 'r) I.t
with type left = Left.t
type 'r t = (Left.t, 'r) I.t
Partially fixed type of containers.