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