Bi_mappable_types.Basic_generic
Basic_generic
describes bi-mapping on any arity of type.
S0
: ('l, 'r) t
becomes t
, 'l left
becomes left
, and 'r right
becomes right
.S1_left
: ('l, 'r) t
becomes 'l t
, 'l left
becomes 'l
, and 'r right
becomes right
.S1_right
: ('l, 'r) t
becomes 'l t
, 'l left
becomes left
, and 'r right
becomes 'r
.S2
: ('l, 'r) t
becomes ('l, 'r) t
, 'l left
becomes 'l
, and 'r right
becomes 'r
.include Generic_types.Bi_generic