Foldl.hascasl.output revision af47051acb16b97b6bc0ff7295cae44eed87d63e
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmanntype List(a : Type)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmannop nil : List a
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmannop head : List a -> a
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmannop snoc : List a -> a --> List a
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann. ((fun __=__[List a] : forall a : Type . a * a ->? Unit) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann List a * List a ->? Unit)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann ((((op snoc[a] : forall a : Type . List a -> a --> List a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann List a -> a --> List a)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann ((op nil[a] : forall a : Type . List a) : List a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann a --> List a)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann (var x : a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann (((op snoc[a] : forall a : Type . List a -> a --> List a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann List a -> a --> List a)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann ((op nil[a] : forall a : Type . List a) : List a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann a --> List a)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann (var x : a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann. ((fun __=__[a] : forall a : Type . a * a ->? Unit) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann a * a ->? Unit)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann ((((op head[a ->? a] : forall a : Type . List a -> a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann List (a ->? a) -> a ->? a)
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann ((op nil[a ->? a] : forall a : Type . List a) : List (a ->? a)) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann (var x : a) :
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann%% Type Constructors -----------------------------------------------------
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann? : +Type -> Type
304d15b2ffa9376d78bddcfc63569824381714abDaniel HausmannList : Type -> Type
304d15b2ffa9376d78bddcfc63569824381714abDaniel HausmannLogical : Type := ? Unit
304d15b2ffa9376d78bddcfc63569824381714abDaniel HausmannPred : -Type -> Type := \ a : -Type . a ->? Unit
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann__*__ : +Type -> +Type -> Type
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann__*__*__ : +Type -> +Type -> +Type -> Type
304d15b2ffa9376d78bddcfc63569824381714abDaniel Hausmann__*__*__*__ : +Type -> +Type -> +Type -> +Type -> Type