forked from GitHub/gf-core
16 lines
229 B
Plaintext
16 lines
229 B
Plaintext
abstract Test = {
|
|
|
|
cat S ;
|
|
cat E ;
|
|
|
|
fun Exist : (E -> S) -> S ;
|
|
Even : E -> S ;
|
|
|
|
fun a : E ;
|
|
f,fa,fb : E -> S ;
|
|
|
|
fun IsString : String -> S ;
|
|
IsInteger : Int -> S ;
|
|
IsFloat : Float -> S ;
|
|
|
|
} |