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

definition: Info
 
sortedConst :: Ident -> Sort -> Term
sortedConst c s = TComb (As c s) []
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
A constant with a sort declaration.
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> {TComb}}
name: Info
 sortedConst
precedence: Info
 no precedence defined
result-values: Info
 {TComb}
signature: Info
 String -> Sort -> Term
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms