Module PyIR.Exp

type collection =
  1. | List
  2. | Set
  3. | Tuple
  4. | Map
type t =
  1. | AssertionError
  2. | BuildFrozenSet of t list
  3. | BuildSlice of t list
  4. | BuildString of t list
  5. | Collection of {
    1. kind : collection;
    2. values : t list;
    3. unpack : bool;
    }
  6. | Const of Const.t
  7. | Function of {
    1. qual_name : QualName.t;
    2. default_values : t;
    3. default_values_kw : t;
    4. annotations : t;
    5. cells_for_closure : t;
    }
  8. | GetAttr of {
    1. exp : t;
    2. attr : Ident.t;
    }
  9. | ImportFrom of {
    1. name : Ident.t;
    2. exp : t;
    }
  10. | ImportName of {
    1. name : Ident.t;
    2. fromlist : t;
    3. level : t;
    }
  11. | LoadClassDeref of {
    1. name : Ident.t;
    2. slot : int;
    }
    (*

    LOAD_CLASSDEREF

    *)
  12. | LoadClosure of {
    1. name : Ident.t;
    2. slot : int;
    }
    (*

    LOAD_CLOSURE

    *)
  13. | LoadDeref of {
    1. name : Ident.t;
    2. slot : int;
    }
    (*

    LOAD_DEREF

    *)
  14. | LoadFastCheck of {
    1. name : Ident.t;
    }
    (*

    LOAD_FAST_CHECK

    *)
  15. | LoadFastAndClear of {
    1. name : Ident.t;
    }
    (*

    LOAD_FAST_AND_CLEAR

    *)
  16. | LoadLocals
    (*

    LOAD_LOCALS

    *)
  17. | LoadFromDictOrDeref of {
    1. slot : int;
    2. mapping : t;
    }
    (*

    LOAD_FROM_DICT_OR_DEREF

    *)
  18. | LoadSuperAttr of {
    1. attr : Ident.t;
    2. super : t;
    3. class_ : t;
    4. self : t;
    }
    (*

    LOAD_SUPER_ATTR

    *)
  19. | MatchClass of {
    1. subject : t;
    2. type_ : t;
    3. count : int;
    4. names : t;
    }
  20. | BoolOfMatchClass of t
  21. | AttributesOfMatchClass of t
  22. | MatchSequence of t
  23. | GetLen of t
  24. | Subscript of {
    1. exp : t;
    2. index : t;
    }
  25. | Temp of SSA.t
  26. | Var of ScopedIdent.t
val pp : Stdlib.Format.formatter -> t -> unit