Module Js2jsil_lib.JS_PreParser

val string_split : string -> int -> string option * string option
val string_head_and_tail : string -> string option * string option
val surprise_substitute_string : string
type state =
  1. | TheUsual
  2. | InString
  3. | InAsmOrAsrt of int * string
  4. | InAsmOrAsrtAndInString of int * string
exception Unparseable of string
val stringify_assume_and_assert_aux : string -> string -> state -> string
val stringify_assume_and_assert : string -> string