Module `Nullsafe.Initializers`

val final_initializer_typestates_lazy : IR.Tenv.t -> IR.Procname.t -> IR.Procdesc.t -> (bool -> IR.Procname.t -> IR.Procdesc.t -> 'a option -> 'b * 'c option) -> (IR.Procname.t * 'c) list lazy_t: Typestates after the current constructor and all initializer procedures.

val final_constructor_typestates_lazy : IR.Tenv.t -> IR.Procname.t -> (bool -> IR.Procname.t -> IR.Procdesc.t -> 'a option -> 'b * 'c option) -> (IR.Procname.t * 'c) list lazy_t: Typestates after all constructors.