IdrisDoc: Text.Token

Text.Token

Tok : (kind : k) -> (text : String) -> Token k