IdrisDoc
: Text.Token
Index
Text.Token
Tok
:
(
kind
:
k
) -> (
text
:
String
) ->
Token
k