sig
type
+
'
a t
type
kind = [
`
ClientRole
|
`
ServerRole
]
end