JS_Utils (gillian-js.Js2jsil_lib.JS

val flat_map : ('a -> 'b list) -> 'a list -> 'b list

val js_fold : 
  (JS_Parser.Syntax.exp -> 'a -> 'a -> 'b list -> 'b list) ->
  (JS_Parser.Syntax.exp -> 'a -> 'a) ->
  'a ->
  JS_Parser.Syntax.exp ->
  'b list

val js_map : 
  (JS_Parser.Syntax.exp -> JS_Parser.Syntax.exp) ->
  JS_Parser.Syntax.exp ->
  JS_Parser.Syntax.exp

val js_map_with_state : 
  (JS_Parser.Syntax.exp ->
    JS_Parser.Syntax.exp_syntax ->
    'a ->
    'a ->
    JS_Parser.Syntax.exp * 'a) ->
  ('a -> JS_Parser.Syntax.exp -> 'a) ->
  'a ->
  'a ->
  JS_Parser.Syntax.exp ->
  JS_Parser.Syntax.exp * 'a

val test_func_decl_in_block : JS_Parser.Syntax.exp -> bool

val get_all_assigned_declared_identifiers : 
  JS_Parser.Syntax.exp ->
  JS_Parser.Syntax.var list

val var_decls_inner : JS_Parser.Syntax.exp -> JS_Parser.Syntax.var list

val var_decls : JS_Parser.Syntax.exp -> JS_Parser.Syntax.var list

val get_fun_decls : JS_Parser.Syntax.exp -> JS_Parser.Syntax.exp list

val get_names_of_named_function_expressions : 
  JS_Parser.Syntax.exp ->
  string list

val get_all_annots : JS_Parser.Syntax.exp -> JS_Parser.Syntax.annotation list

val func_decls_in_elem : JS_Parser.Syntax.exp -> JS_Parser.Syntax.exp list

val func_decls_in_exp : JS_Parser.Syntax.exp -> JS_Parser.Syntax.exp list

val get_all_vars_f : 
  JS_Parser.Syntax.exp ->
  JS_Parser.Syntax.var list ->
  JS_Parser.Syntax.var list

val returns_empty_exp : JS_Parser.Syntax.exp -> bool

val is_stmt : JS_Parser.Syntax.exp -> bool

val generate_offset_lst : string -> int list

val jsoffsetchar_to_jsoffsetline : 'a -> 'a list -> int

val lift_flow_loc : JS_Parser.Loc.t -> Gillian.Utils.Location.t