2014-08-25 02:58:48 +00:00
|
|
|
import logic
|
2015-11-21 01:03:17 +00:00
|
|
|
|
2014-07-10 13:43:55 +00:00
|
|
|
check id id
|
|
|
|
set_option pp.universes true
|
|
|
|
check id id
|
2014-07-22 16:43:18 +00:00
|
|
|
check id Prop
|
2014-09-04 23:36:06 +00:00
|
|
|
check id num
|
2014-07-10 13:43:55 +00:00
|
|
|
check @id.{0}
|
|
|
|
check @id.{1}
|
|
|
|
check id num.zero
|
|
|
|
check @eq
|
|
|
|
check eq eq
|