Filter_mappable_types.Basic1
Basic signature of an arity-1 mappable type.
Functions mapped over arity-1 types may change the element type.
include Generic_basic with type ('a, 'phantom) t := 'a t and type 'a elt := 'a
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
with type ('a, 'phantom) t := 'a t
with type 'a elt := 'a