Internal Error:
Unexpected error or improper call to system function bottomUp :
unknown object form
Type: Void
axiom Compiling function f with type Domain -> Integer
Internal Error
Unexpected error or improper call to system function bottomUp :
unknown object form |