// library CD for lists/option types

package edu.neu.ccs.demeterf.demfgen.lib;

import edu.neu.ccs.demeterf.demfgen.lib.*;

nogen List(X) : Cons(X) | Empty(X).
nogen Cons(X) = <first> X <rest> List(X).
nogen Empty(X) = .

nogen Option(X): Some(X) | None(X).
nogen Some(X) = <just> X.
nogen None(X) = .