Structure smlLexer


Source File Identifier index Theory binding index

signature smlLexer =
sig

  (* lexer *)
  val rm_comment : string -> string
  val partial_sml_lexer : string -> string list

  (* reserved tokens *)
  val is_quoted   : string -> bool
  val is_number   : string -> bool
  val is_chardef  : string -> bool
  val is_reserved : string -> bool

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13