module

Horn::VarHelper

Inherits Horn::Expressions

Instance methods

assign_vars(expr : Expr, s : State) : Expr
Source
free_vars?(expr : Expr, except = Set(Var).new) : Bool
Source