Api.Make
M : Base.T1
type 'a label
= 'a M.t
type 'm t
=
{
find : a. 'a label ‑> 'm ‑> 'a;
bind : a. 'a label ‑> 'a ‑> 'm ‑> 'm;
}