Module Ast_js

type tok = Parse_info.info
and 'a wrap = 'a * tok
type name = string wrap
type qualified_name = string
type resolved_name =
  1. | Local
  2. | Param
  3. | Global of qualified_name
  4. | NotResolved
type special =
  1. | Null
  2. | Undefined
  3. | This
  4. | Super
  5. | Exports
  6. | Module
  7. | New
  8. | NewTarget
  9. | Eval
  10. | Require
  11. | Seq
  12. | Void
  13. | Typeof
  14. | Instanceof
  15. | In
  16. | Delete
  17. | Spread
  18. | Yield
  19. | YieldStar
  20. | Await
  21. | Encaps of name option
  22. | UseStrict
  23. | And
  24. | Or
  25. | Not
  26. | Xor
  27. | BitNot
  28. | BitAnd
  29. | BitOr
  30. | BitXor
  31. | Lsr
  32. | Asr
  33. | Lsl
  34. | Equal
  35. | PhysEqual
  36. | Lower
  37. | Greater
  38. | Plus
  39. | Minus
  40. | Mul
  41. | Div
  42. | Mod
  43. | Expo
  44. | Incr of bool
  45. | Decr of bool
type label = string wrap
type filename = string wrap
val default_entity : string
type property_name =
  1. | PN of name
  2. | PN_Computed of expr
and expr =
  1. | Bool of bool wrap
  2. | Num of string wrap
  3. | String of string wrap
  4. | Regexp of string wrap
  5. | Id of name * resolved_name ref
  6. | IdSpecial of special wrap
  7. | Nop
  8. | Assign of expr * expr
  9. | Obj of obj_
  10. | Class of class_
  11. | ObjAccess of expr * property_name
  12. | Arr of expr list
  13. | ArrAccess of expr * expr
  14. | Fun of fun_ * name option
  15. | Apply of expr * expr list
  16. | Conditional of expr * expr * expr
and stmt =
  1. | VarDecl of var
  2. | Block of stmt list
  3. | ExprStmt of expr
  4. | If of expr * stmt * stmt
  5. | Do of stmt * expr
  6. | While of expr * stmt
  7. | For of for_header * stmt
  8. | Switch of expr * case list
  9. | Continue of label option
  10. | Break of label option
  11. | Return of expr
  12. | Label of label * stmt
  13. | Throw of expr
  14. | Try of stmt * catch option * stmt option
and catch = name * stmt
and for_header =
  1. | ForClassic of vars_or_expr * expr * expr
  2. | ForIn of var_or_expr * expr
  3. | ForOf of var_or_expr * expr
and case =
  1. | Case of expr * stmt
  2. | Default of stmt
and vars_or_expr = (var list, expr) Common.either
and var_or_expr = (var, expr) Common.either
and var = {
  1. v_name : name;
  2. v_kind : var_kind;
  3. v_init : expr;
  4. v_resolved : resolved_name ref;
}
and var_kind =
  1. | Var
  2. | Let
  3. | Const
and fun_ = {
  1. f_props : fun_prop list;
  2. f_params : parameter list;
  3. f_body : stmt;
}
and parameter = {
  1. p_name : name;
  2. p_default : expr option;
  3. p_dots : bool;
}
and fun_prop =
  1. | Get
  2. | Set
  3. | Generator
  4. | Async
and obj_ = property list
and class_ = {
  1. c_extends : expr option;
  2. c_body : property list;
}
and property =
  1. | Field of property_name * property_prop list * expr
  2. | FieldSpread of expr
and property_prop =
  1. | Static
  2. | Public
  3. | Private
  4. | Protected
type toplevel =
  1. | V of var
  2. | S of tok * stmt
  3. | Import of name * name * filename
  4. | Export of name
type program = toplevel list
type any =
  1. | Expr of expr
  2. | Stmt of stmt
  3. | Top of toplevel
  4. | Program of program
val str_of_name : ('a * 'b) -> 'a
val unwrap : ('a * 'b) -> 'a