pure interface of class net.sf.pizzacompiler.util.Option<A>

public class Option<A>
  implements java.io.Serializable
{
    public case None;
    public case Some(A value);
    public A value();
    public boolean hasValue();
}