Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. funResultSort :: DefineFun -> !Sort

   what4	What4.Protocol.SMTLib2.Parse

   No documentation available.

2. arraySort :: Sort -> Sort -> Sort

   what4	What4.Protocol.SMTLib2.Syntax

   arraySort a b denotes the set of functions from a to be b.

3. boolSort :: Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Booleans

4. bvSort :: Natural -> Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Bitvectors with the given number of bits.

5. declareSort :: Symbol -> Integer -> Command

   what4	What4.Protocol.SMTLib2.Syntax

   Declare an uninterpreted sort with the given number of sort parameters.

6. defineSort :: Symbol -> [Symbol] -> Sort -> Command

   what4	What4.Protocol.SMTLib2.Syntax

   Define a sort in terms of other sorts

7. intSort :: Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Integers

8. realSort :: Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Real numbers

9. unSort :: Sort -> Builder

   what4	What4.Protocol.SMTLib2.Syntax

   No documentation available.

10. varSort :: Symbol -> Sort

    what4	What4.Protocol.SMTLib2.Syntax

    Create a sort from a symbol name

Page 164 of many | Previous | Next