Up

Module type S

Signature

type 'a t
val of_typestruct : Type_struct.t -> [
| `generic of Tagged.t t
]