package libsail

  1. Overview
  2. Docs

const_prop target ast ref_vars substs assigns exp performs constant propagation on exp where substs is a pair of substitutions on immutable variables and type variables, assigns is a substitution on mutable variables, and ref_vars is the set of variable which may have had a reference taken (and hence we cannot reliably track).

val referenced_vars : Type_check.tannot Ast.exp -> Ast_util.IdSet.t
val remove_impossible_int_cases : 'a -> Type_check.tannot Ast_defs.ast -> Type_check.tannot Ast_defs.ast

Innovation. Community. Security.