Closed mhirsch closed 4 years ago
Here in this docs, mkset is defined as mkset l. However, here mkset is defined as mkset eq l, where it takes a comparison equation. mkset does not work in nip2 without the equation argument.
mkset
mkset l
mkset eq l
Fixed! Thank you very much Matt.
Here in this docs,
mkset
is defined asmkset l
. However, heremkset
is defined asmkset eq l
, where it takes a comparison equation.mkset
does not work in nip2 without the equation argument.