Api.S
type 'a label
type 'm t
=
{
find : a. 'a label ‑> 'm ‑> 'a;
bind : a. 'a label ‑> 'a ‑> 'm ‑> 'm;
}