Bi_mappable.Chain_Bi1_left_Map1
Chain_Bi1_left_Map1 (Bi) (Map)
composes a bi-map Bi
on an inner arity-1 container with floating left type over a map Map
over an outer arity-1 container.
module Bi : Bi_mappable_types.S1_left
module Map : Mappable_types.S1