uu-cco-examples-0.1.0.1: uuagc_options

file : "src/CCO/ArithBool/AG.ag"
options : catas, semfuns, signatures, pretty, data, haskellsyntax, wrappers

file : "src/CCO/Arith/AG.ag"
options : catas, semfuns, signatures, pretty, data, haskellsyntax, wrappers