sig
type
t
val
mine :
Token
.t
val
valid :
Token
.t
->
bool
end