package jasmin

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Jasmin.Propagate_inline

module E : sig ... end
type pi_cel = {
  1. pi_def : Expr.pexpr;
  2. pi_fv : Var0.SvExtra.Sv.t;
  3. pi_m : bool;
}
type pimap = pi_cel Var0.Mvar.t
val piempty : pimap
val remove_m : pimap -> pi_cel Var0.Mvar.t
val set : pimap -> Var0.Var.var -> Expr.pexpr -> pimap
val merge : pimap -> pimap -> pi_cel Var0.Mvar.t
val incl : pimap -> pimap -> bool