CurryInfo: verify-non-fail-2.0.0 / FlatCurry.Print.ppExp

definition:
 
ppExp :: Expr -> Doc
ppExp = FCP.ppExp defaultOptions { qualMode = QualNone}
demand:
 no demanded arguments
deterministic:
 deterministic operation
documentation:
 
Pretty prints a FlatCurry expression.
failfree:
 <FAILING>
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {() |-> {ppExpr}}
name:
 ppExp
precedence:
 no precedence defined
result-values:
 {ppExpr}
signature:
 FlatCurry.Types.Expr -> Text.PrettyImpl.Doc
solution-complete:
 operation might suspend on free variables
terminating:
 possibly non-terminating
totally-defined:
 possibly non-reducible on same data term