CurryInfo: verify-non-fail-2.0.0 / Verify.ProgInfo.emptyProgInfo

definition:
 
emptyProgInfo :: ProgInfo
emptyProgInfo = ProgInfo []
demand:
 no demanded arguments
deterministic:
 deterministic operation
failfree:
 ()
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {() |-> {ProgInfo}}
name:
 emptyProgInfo
precedence:
 no precedence defined
result-values:
 {ProgInfo}
signature:
 ProgInfo
solution-complete:
 operationally complete operation
terminating:
 yes
totally-defined:
 reducible on all ground data terms