Env (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Slh

type t = {

}

val cond : t -> Expr.pexpr option

val msf_vars : t -> Var0.SvExtra.Sv.t

val restrict_cond : Expr.pexpr option -> Var0.SvExtra.Sv.t -> Expr.pexpr option

val empty : t

val initial : Var0.Var.var option -> t

val update_cond : 
  Flag_combination.coq_FlagCombinationParams ->
  t ->
  Expr.pexpr ->
  t

val meet : t -> t -> t

val le : t -> t -> bool

val is_msf_var : t -> Var0.Var.var -> bool

val is_cond : 
  Flag_combination.coq_FlagCombinationParams ->
  t ->
  Expr.pexpr ->
  bool

val after_SLHmove : t -> Var0.Var.var option -> t

val after_assign_var : t -> Var0.Var.var -> t

val after_assign_vars : t -> Var0.SvExtra.Sv.t -> t