inox.ast.Definitions
Common super-type for ValDef and Variable.
Both types share much in common and being able to reason about them in a uniform manner can be useful in certain cases.
Common super-type for ValDef and Variable.
Both types share much in common and being able to reason about them in a uniform manner can be useful in certain cases.