`val (^<) : ('a ‑> 'b) ‑> ('a, 's, 'ids) t ‑> ('b, 's, 'ids) t`

Infix alias for `map`.

Infix alias for `contra_map`.

`val (<^) : ('g, 'b, 'ids) t ‑> ('a ‑> 'b) ‑> ('g, 'a, 'ids) t`

Infix alias for `contra_map`.

`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`