Filter_mappable_types.Generic_basic
Generic input shape of filter-mappable structures on either an arity-0 or arity-1 type.
Generic_basic
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