CurryInfo: verify-non-fail-2.0.0 / Verify.ESMT.parent

definition:
 
parent :: [Doc] -> Doc
parent = encloseSep lparen rparen space
demand:
 no demanded arguments
deterministic:
 deterministic operation
documentation:
 
Pretty print the given documents separated with spaces and parenthesized
failfree:
 ()
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {() |-> {encloseSep}}
name:
 parent
precedence:
 no precedence defined
result-values:
 {encloseSep}
signature:
 [Text.PrettyImpl.Doc] -> Text.PrettyImpl.Doc
solution-complete:
 operation might suspend on free variables
terminating:
 yes
totally-defined:
 possibly non-reducible on same data term