path: root/examples/numerals/Binary.gf

abstract Binary = {

cat Bin;

fun End : Bin ;
fun Zero : Bin -> Bin ;
fun One : Bin -> Bin ;


}