Anonymous user
Algebraic data types: Difference between revisions
Changed Pilog Lisp call syntax (since 3.1.3.5)
(Changed Pilog Lisp call syntax (since 3.1.3.5)) |
|||
Line 535:
(be ins (@X E (T R E @X E)))
(be ins (@X (T @C @A @Y @B) @R)
(^ @
(ins @X @A @Ao)
(balance @C @Ao @Y @B @R)
T )
(be ins (@X (T @C @A @Y @B) @R)
(^ @ (> (-> @X) (-> @Y)))
(ins @X @B @Bo)
(balance @C @A @Y @Bo @R)
| |||