blob: 07e5143ae080955eb646675235ac898c8dd80d52 [file] [log] [blame]
EmptyAlternating : ( A + () )
( () + B )
( () | ( B + () ) ) ;