forked from GitHub/gf-core
8 lines
118 B
Plaintext
8 lines
118 B
Plaintext
-- (c) Krasimir Angelov 2009
|
|
abstract Graftal = {
|
|
cat N; S;
|
|
fun z : N ;
|
|
s : N -> N ;
|
|
c : N -> S ;
|
|
}
|