HasCASL/test/Items.hascasl.output

	Items.hascasl.output revision 0cefc40bed0a5ad26b76ad7def2623f79b9eaf0f
type ** : Type -> Type -> Type
var a : {_ < c}
var {a} : c -> d
class Monad < Type -> Type
type a : Monad := \ t : Type . t -> t
free type Term ::= Var (Variable) |
           Lam (Variable) (Term) |
           App (Term) (Term)
type WNet = {(sys, i, o) : T � T � T . i = o}
var a : Type+
var - : Type
var []+ : Type