Module U.Place

type t = {
  1. place : place';
  2. span : Hax_engine.Ast.span;
  3. typ : AST.ty;
}
and place' =
  1. | LocalVar of Hax_engine.Local_ident.t
  2. | Deref of AST.expr
  3. | IndexProjection of {
    1. place : t;
    2. index : AST.expr;
    }
  4. | FieldProjection of {
    1. place : t;
    2. projector : Hax_engine.Ast.global_ident;
    }
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val pp_place' : Ppx_deriving_runtime.Format.formatter -> place' -> Ppx_deriving_runtime.unit
val show_place' : place' -> Ppx_deriving_runtime.string
val deref_mut_allowed : AST.ty -> Hax_engine.Prelude.bool
val to_expr : t -> AST.expr
val expect_deref_mut : t -> t Hax_engine.Prelude.option
val expect_allowed_deref_mut : t -> t Hax_engine.Prelude.option
val skip_allowed_deref_mut : t -> t