We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
When I do an assert from another package, ie (assert x/y z)
(assert x/y z)
Output is: z.(x/y)
z.(x/y)
When I do an assert from another package, ie
(assert x/y z)Output is:
z.(x/y)