HasCASL/test/YCombinator.hascasl

1
2
3
4
5
6
7
8
9
10
11
class Cpo

class Cppo < Cpo

type instance __-->__ : -Cpo -> +Cpo -> Cpo
type instance __-->__ : -Cpo -> +Cppo -> Cppo

var c : Cppo

fun Y : (c --> c) --> c