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