__interface "Main" HylotabLex 1 502 where
__export  HylotabLex Token{TokenA TokenAnd TokenAt1 TokenAt2 TokenBnd TokenBox TokenCB TokenCbox TokenCdia TokenComma TokenConj TokenCst TokenDia TokenDimp TokenDisj TokenDot TokenE TokenFalse TokenImpl TokenNeg TokenOB TokenOr TokenProp TokenTrue TokenVar} isConv lexBox lexComment lexDia lexName lexer readRel;
import Prelude :: 1;
import Char :: 1;
import PrelBase ! :: 1;
import PrelNum :: 1;
import PrelTup :: 1;
import PrelShow :: 1;
import PrelList :: 1;
import PrelMaybe :: 1;
;
instance {PrelShow.Show Token} = zdfShowToken ;
isConv :: [PrelBase.Char] -> PrelBase.Bool;
lexName :: [PrelBase.Char] -> [Token];
readRel :: [PrelBase.Char] -> PrelMaybe.Maybe ([PrelBase.Char], PrelBase.Bool);
lexDia :: [PrelBase.Char] -> [Token];
lexBox :: [PrelBase.Char] -> [Token];
lexComment :: [PrelBase.Char] -> PrelNum.Integer -> [Token];
lexer :: PrelBase.String -> [Token];
data Token = TokenAt1 | TokenAt2 | TokenDot | TokenImpl | TokenDimp | TokenNeg | TokenAnd | TokenOr | TokenConj | TokenDisj | TokenProp PrelBase.String | TokenCst PrelBase.String | TokenVar PrelBase.String | TokenTrue | TokenFalse | TokenA | TokenE | TokenBox PrelBase.String | TokenDia PrelBase.String | TokenCbox PrelBase.String | TokenCdia PrelBase.String | TokenComma | TokenBnd | TokenOB | TokenCB;
zdfShowToken :: {PrelShow.Show Token};