HasCASL/test/ClassKinds.hascasl

	ClassKinds.hascasl revision ab3ca4cacfada3a19ab024db7ad567b82fa1517d
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maederclass C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maeder
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : C -> C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : +C -> C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : C -> -C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : -C -> +C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maeder
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype s : (+C -> C) -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype s : (-C -> C) -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype s : (C -> C) -> C