yi-misc-modes-0.14.0: Yi editor miscellaneous modes

Safe HaskellNone
LanguageHaskell2010

Yi.Lexer.Abella

Documentation

type TT = Tok Token #

type HlState = Int #

data Reserved #

Constructors

Forall 
Exists 
Other