ivory-backend-c-0.1.0.7: Ivory C backend.

Safe HaskellNone
LanguageHaskell2010

Ivory.Compile.C.Prop

Description

Rewrite ensures variable with return expression.

Synopsis

Documentation

ensTrans :: Expr -> Expr -> Expr Source #

Replace ensures variable with the return expression.