Filter_mappable.To_mappable0
To_mappable0
lowers a filter-mappable arity-0 type to a mappable one.
module F : Filter_mappable_types.Basic0
include Generic_types.S0 with type t := F.t with type elt := F.elt
include Mappable_types.Generic
with type ('a, 'phantom) t := F.t
and type 'a elt := F.elt
Generic
refers to the container type as 'a t
, and the element type as 'a elt
; substitute t
/elt
(arity-0) or 'a t
/'a
(arity-1) accordingly below.
include Generic_types.Generic
with type ('a, 'phantom) t := F.t
with type 'a elt := F.elt