Foldl.hascasl revision 71e2518476f672b6cd36d3d0256cfc2e0cb5c9a6
542N/Avar a: Type
542N/Atype List a
810N/Aop nil : List a
810N/Aop head : List a -> a
542N/Aop snoc: List a -> a --> List a
542N/Aforall x:a
542N/A. snoc nil x = snoc nil x
542N/A. head nil x = x
542N/A
542N/A