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