Module PulseFormula.DynamicTypes

Module for reasoning about dynamic types. *

val simplify : IR.Tenv.t -> get_dynamic_type:(Var.t -> IR.Typ.t option) -> t -> t

Simplifies IsInstanceOf(var, typ) predicate when dynamic type information is available in state. *