Items.hascasl.output revision cf3232cec840a6945667bdb06f5b47b22243bc8f
type ** :Type ->Type ->Type
var a:{_ < c}
var {a} : c -> d