7 lines
101 B
Text
7 lines
101 B
Text
|
let unit := ()
|
||
|
|
let isUnit(()) := true
|
||
|
|
let isUnit(_) := false
|
||
|
|
|
||
|
|
assert(isUnit(unit))
|
||
|
|
assert(unit = ())
|