demand: |
argument 1 |
deterministic: |
deterministic operation |
indeterministic: |
might be indeterministic |
infix: |
no fixity defined |
iotype: |
{({HtmlDoc},_,_,_,_,_,_,_) |-> _ || ({TexDoc},_,_,_,_,_,_,_) |-> _ || ({CDoc},_,_,_,_,_,_,_) |-> _} |
name: |
makeDocWithComments |
precedence: |
no precedence defined |
result-values: |
_ |
signature: |
CurryDoc.Options.DocType -> CurryDoc.Options.DocOptions -> Prelude.Bool -> String -> CurryDoc.AnaInfo.AnaInfo -> String -> String -> [(CurryDoc.Read.SourceLine, String)] -> Prelude.IO () |
solution-complete: |
operation might suspend on free variables |
terminating: |
possibly non-terminating |
totally-defined: |
possibly non-reducible on same data term |