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