Up
Module
Packed
Signature
type
's t =
| T : 'a
Key.t
* ('s, 'a)
data
-> 's
t