forked from GitHub/gf-core
29 lines
299 B
Plaintext
29 lines
299 B
Plaintext
(S (E (String ?1)) is even)
|
|
|
|
|
|
(S exists (S (String x)) such that (S (S (E (String x)) is even)))
|
|
|
|
|
|
(S (E a))
|
|
|
|
|
|
(S (E aa) a)
|
|
|
|
|
|
(S (E a) b)
|
|
|
|
|
|
(S (String abcd) is string)
|
|
|
|
|
|
(S (Int 100) is integer)
|
|
|
|
|
|
(S (Float 12.4) is float)
|
|
|
|
|
|
(S (String xyz) is string)
|
|
|
|
|
|
cannot linearize
|