signature tttLexer = sig val rm_comment : string -> string val ttt_lex : string -> string list end
HOL 4, Kananaskis-11