HasCASL/test/ClassKinds.hascasl

	ClassKinds.hascasl revision ab3ca4cacfada3a19ab024db7ad567b82fa1517d
class C

type t : C -> C -> C
type t : +C -> C -> C
type t : C -> -C -> C
type t : -C -> +C -> C

type s : (+C -> C) -> C
type s : (-C -> C) -> C
type s : (C -> C) -> C