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 const_prop :
string ->
Type_check.typed_ast ->
Ast_util.IdSet.t ->
(Type_check.tannot Ast.exp Ast_util.Bindings.t
* Ast.nexp Ast_util.KBindings.t) ->
Type_check.tannot Ast.exp Ast_util.Bindings.t ->
Type_check.tannot Ast.exp ->
Type_check.tannot Ast.exp * Type_check.tannot Ast.exp Ast_util.Bindings.tval referenced_vars : Type_check.tannot Ast.exp -> Ast_util.IdSet.tval remove_impossible_int_cases :
'a ->
Type_check.typed_ast ->
Type_check.typed_ast