Kaba function simplify.literally_equal ed
...
Syntax ed
func static simplify.literally_equal(a: shared![Term], b: shared![Term]) -> bool
Parameters ed
- a: shared![Term]
- ...
- b: shared![Term]
- ...
Return ed
...
...
func static simplify.literally_equal(a: shared![Term], b: shared![Term]) -> bool
...