Module `Jslogic.JSExpr`

type t =

| Lit of Gillian.Gil_syntax.Literal.t
| LVar of string
| ALoc of string
| PVar of string
| UnOp of Gillian.Gil_syntax.UnOp.t * t
| BinOp of t * Gillian.Gil_syntax.BinOp.t * t
| LstSub of t * t * t
| NOp of Gillian.Gil_syntax.NOp.t * t list
| EList of t list
| ESet of t list
| This
| Scope

val js2jsil : 
  Gillian.Gil_syntax.Expr.t option ->
  t ->
  Gillian.Gil_syntax.Expr.t

module MyJSExpr : sig ... end

module SJSExpr : sig ... end

val str : t -> string

Printer