given_Unify_SIR
scalus.sir.SIRUnify.given_Unify_SIR
object given_Unify_SIR extends Unify[SIR]
Unify two SIR expressions. Annotations are ignored during unification and can be different.
Attributes
- Graph
-
- Supertypes
- Self type
-
given_Unify_SIR.type
Members list
In this article