pub(all) enum BinOp {
  Add
  Sub
  Mul
  Div
  Mod
  EqEq
  EqEqEq
  NotEq
  NotEqEq
  Lt
  Gt
  LtEq
  GtEq
  And
  Or
  NullishCoalesce
  BitAnd
  BitOr
  BitXor
  LShift
  RShift
  URShift
  Exp
  In
  Instanceof
}

pub(all) struct ClassMethod {
  key : Expr
  value : Expr
  kind : PropKind
  computed : Bool
  is_static : Bool
}

pub(all) enum CompoundOp {
  AddAssign
  SubAssign
  MulAssign
  DivAssign
  ModAssign
  ExpAssign
  BitAndAssign
  BitOrAssign
  BitXorAssign
  LShiftAssign
  RShiftAssign
  URShiftAssign
  LogicalAndAssign
  LogicalOrAssign
  NullishAssign
}

pub(all) enum Expr {
  NumberLit(Double, 
@dowdiness/js_engine/token.Loc
Loc)
  StringLit(String, 
@dowdiness/js_engine/token.Loc
Loc)
  BoolLit(Bool, 
@dowdiness/js_engine/token.Loc
Loc)
  NullLit(
@dowdiness/js_engine/token.Loc
Loc)
  UndefinedLit(
@dowdiness/js_engine/token.Loc
Loc)
  Ident(String, 
@dowdiness/js_engine/token.Loc
Loc)
  Binary(BinOp, Expr, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  Unary(UnaryOp, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  Assign(String, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  Call(Expr, Array[Expr], 
@dowdiness/js_engine/token.Loc
Loc)
  Member(Expr, String, 
@dowdiness/js_engine/token.Loc
Loc)
  Ternary(Expr, Expr, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  FuncExpr(String?, Array[String], Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  FuncExprExt(String?, Array[Param], String?, Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  Grouping(Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  ObjectLit(Array[Property], 
@dowdiness/js_engine/token.Loc
Loc)
  ArrayLit(Array[Expr], 
@dowdiness/js_engine/token.Loc
Loc)
  ComputedMember(Expr, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  MemberAssign(Expr, String, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  ComputedAssign(Expr, Expr, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  NewExpr(Expr, Array[Expr], 
@dowdiness/js_engine/token.Loc
Loc)
  ThisExpr(
@dowdiness/js_engine/token.Loc
Loc)
  UpdateExpr(UpdateOp, Expr, Bool, 
@dowdiness/js_engine/token.Loc
Loc)
  CompoundAssign(CompoundOp, Expr, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  Comma(Expr, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  TemplateLit(Array[String], Array[Expr], 
@dowdiness/js_engine/token.Loc
Loc)
  ArrowFunc(Array[String], Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  ArrowFuncExt(Array[Param], String?, Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  SpreadExpr(Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  RegexLit(String, String, 
@dowdiness/js_engine/token.Loc
Loc)
  DestructureAssign(Pattern, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  OptionalMember(Expr, String, 
@dowdiness/js_engine/token.Loc
Loc)
  OptionalComputedMember(Expr, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  OptionalCall(Expr, Array[Expr], 
@dowdiness/js_engine/token.Loc
Loc)
  ClassExpr(String?, Expr?, Array[ClassMethod], 
@dowdiness/js_engine/token.Loc
Loc)
  SuperCall(Array[Expr], 
@dowdiness/js_engine/token.Loc
Loc)
  SuperMember(String, 
@dowdiness/js_engine/token.Loc
Loc)
  SuperComputedMember(Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  NewTargetExpr(
@dowdiness/js_engine/token.Loc
Loc)
  TaggedTemplate(Expr, Array[String], Array[Expr], 
@dowdiness/js_engine/token.Loc
Loc)
}

pub(all) struct Param {
  name : String
  default_val : Expr?
  pattern : Pattern?
}

pub(all) enum Pattern {
  IdentPat(String)
  ArrayPat(Array[Pattern?], Pattern?)
  ObjectPat(Array[PropPat], Pattern?)
}

pub(all) struct Program {
  stmts : Array[Stmt]
}

pub(all) enum PropKind {
  Init
  Get
  Set
  Spread
}

pub(all) struct PropPat {
  key : String
  value : Pattern
  default_val : Expr?
}

pub(all) struct Property {
  key : Expr
  value : Expr
  kind : PropKind
  computed : Bool
}

pub(all) enum Stmt {
  ExprStmt(Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  VarDecl(VarKind, String, Expr?, 
@dowdiness/js_engine/token.Loc
Loc)
  Block(Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  StmtList(Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  IfStmt(Expr, Stmt, Stmt?, 
@dowdiness/js_engine/token.Loc
Loc)
  WhileStmt(Expr, Stmt, 
@dowdiness/js_engine/token.Loc
Loc)
  ForStmt(Stmt?, Expr?, Expr?, Stmt, 
@dowdiness/js_engine/token.Loc
Loc)
  FuncDecl(String, Array[String], Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  FuncDeclExt(String, Array[Param], String?, Array[Stmt], 
@dowdiness/js_engine/token.Loc
Loc)
  ReturnStmt(Expr?, 
@dowdiness/js_engine/token.Loc
Loc)
  BreakStmt(String?, 
@dowdiness/js_engine/token.Loc
Loc)
  ContinueStmt(String?, 
@dowdiness/js_engine/token.Loc
Loc)
  ThrowStmt(Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  TryCatchStmt(Array[Stmt], String?, Array[Stmt]?, Array[Stmt]?, 
@dowdiness/js_engine/token.Loc
Loc)
  SwitchStmt(Expr, Array[SwitchCase], 
@dowdiness/js_engine/token.Loc
Loc)
  DoWhileStmt(Stmt, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  ForInStmt(VarKind?, String, Expr, Stmt, 
@dowdiness/js_engine/token.Loc
Loc)
  ForOfStmt(VarKind?, String, Expr, Stmt, 
@dowdiness/js_engine/token.Loc
Loc)
  ForInStmtPat(VarKind, Pattern, Expr, Stmt, 
@dowdiness/js_engine/token.Loc
Loc)
  ForOfStmtPat(VarKind, Pattern, Expr, Stmt, 
@dowdiness/js_engine/token.Loc
Loc)
  DestructureDecl(VarKind, Pattern, Expr, 
@dowdiness/js_engine/token.Loc
Loc)
  LabeledStmt(String, Stmt, 
@dowdiness/js_engine/token.Loc
Loc)
  ClassDecl(String, Expr?, Array[ClassMethod], 
@dowdiness/js_engine/token.Loc
Loc)
}

pub(all) struct SwitchCase {
  condition : Expr?
  body : Array[Stmt]
}

pub(all) enum UnaryOp {
  Neg
  Pos
  Not
  Typeof
  Void
  Delete
  BitNot
}

pub(all) enum UpdateOp {
  Increment
  Decrement
}

pub(all) enum VarKind {
  LetKind
  ConstKind
  VarKind
}