Foldl.hascasl revision 71e2518476f672b6cd36d3d0256cfc2e0cb5c9a6
var a: Type
type List a
op nil : List a
op head : List a -> a
op snoc: List a -> a --> List a
forall x:a
. snoc nil x = snoc nil x
. head nil x = x