val (^<) : ('a ‑> 'b) ‑> ('a, 's, 'ids) t ‑> ('b, 's, 'ids) t
Infix alias for map.
map
Infix alias for contra_map.
contra_map
val (<^) : ('g, 'b, 'ids) t ‑> ('a ‑> 'b) ‑> ('g, 'a, 'ids) t
val bool : (bool, bool, bool Id.t) t
val string : (string, string, string Id.t) t
val list : ('g, 's, 'ids) t ‑> ('g list, 's list, 'ids list * 's List_id.t) t
val variant : 'a list ‑> equal:('a ‑> 'a ‑> bool) ‑> ('a, 'a, 'a Variant_id.t) t