Algebraic data types: Difference between revisions

Content added Content deleted
Line 953: Line 953:
a=. check e
a=. check e
b=. check w
b=. check w
(*a)*(*b)*(a=b)*a+'B'=C
(*a)*(a=b)*b+'B'=C
}}</lang>
}}</lang>