package edu.neu.ccs.demeterf.demfgen.lib; import edu.neu.ccs.demeterf.demfgen.lib.*; nogen List(X) : Cons(X) | Empty(X). nogen Cons(X) = X List(X). nogen Empty(X) = . nogen Option(X): Some(X) | None(X). nogen Some(X) = X. nogen None(X) = . nogen RBColor: RED | BLACK. nogen RED = "red". nogen BLACK = "black". nogen RBTree(X:Comparable) : RBNode(X) | RBLeaf(X). nogen RBNode(X:Comparable) = "(node" RBColor X RBTree(X) RBTree(X) ")". nogen RBLeaf(X:Comparable) = .