CurryInfo: verify-non-fail-2.0.0 / Verify.WithSMT.preloadedFuncDecls

definition: Info
 
preloadedFuncDecls :: [FuncDecl]
preloadedFuncDecls =
  [Func (pre "id") 1 Public 
     (FuncType (TVar 0) (TVar 0))
     (Rule [1] (Var 1)),
   Func (pre  "not") 1  Public 
     (FuncType fcBool fcBool)
     (Rule  [1] (Case Flex (Var 1)
                  [Branch (Pattern (pre "True") [] ) fcFalse,
                   Branch (Pattern (pre "False") []) fcTrue])),
   Func (pre "null") 1 Public 
     (FuncType (fcList (TVar 0)) fcBool)
     (Rule [1] (Case Flex (Var 1)
                  [Branch (Pattern (pre "[]") [])   fcTrue,
                   Branch (Pattern (pre ":") [2,3]) fcFalse]))
  ]
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Pre-loaded operations from the prelude to avoid reading the prelude
for simple operations.
failfree: Info
 ()
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {() |-> {:}}
name: Info
 preloadedFuncDecls
precedence: Info
 no precedence defined
result-values: Info
 {:}
signature: Info
 [FlatCurry.Types.FuncDecl]
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms