Mappable_types.S0
S0 is the signature of an arity-0 mappable type.
S0
Functions mapped over arity-0 types must preserve the element type.
include Generic_types.S0
type t
The container type.
type elt
The element type.
include Generic with type ('a, 'phantom) t := t and type 'a elt := 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.
Generic
'a t
'a elt
t
elt
'a
include Generic_types.Generic with type ('a, 'phantom) t := t with type 'a elt := elt
val map : t -> f:(elt -> elt) -> t
map c ~f maps f over every t in c.
map c ~f
f
c