Algebraic data types: Difference between revisions

Content added Content deleted

Inline

@@ Line 535: / Line 535: @@
 (be ins (@X E (T R E @X E)))
 (be ins (@X (T @C @A @Y @B) @R)
-   (@ < (-> @X) (-> @Y))
+   (^ @ (> (-> @Y) (-> @X)))
    (ins @X @A @Ao)
    (balance @C @Ao @Y @B @R)
    T )
 (be ins (@X (T @C @A @Y @B) @R)
-   (@ > (-> @X) (-> @Y))
+   (^ @ (> (-> @X) (-> @Y)))
    (ins @X @B @Bo)
    (balance @C @A @Y @Bo @R)