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

Safe HaskellNone

Ivory.Compile.C.Prop

Description

Rewrite ensures variable with return expression.

Synopsis

Documentation

ensTrans :: Expr -> Expr -> ExprSource

Replace ensures variable with the return expression.