type 's t
=
{
connection_state : t ‑> 's;
implementations : 's Implementations.t;
}
val null : unit ‑> unit t