Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. bvSort :: Natural -> Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Bitvectors with the given number of bits.

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

   what4	What4.Protocol.SMTLib2.Syntax

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

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

   what4	What4.Protocol.SMTLib2.Syntax

   Define a sort in terms of other sorts

4. intSort :: Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Integers

5. realSort :: Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Real numbers

6. unSort :: Sort -> Builder

   what4	What4.Protocol.SMTLib2.Syntax

   No documentation available.

7. varSort :: Symbol -> Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Create a sort from a symbol name

8. CmpSorts :: Comparison -> b -> b -> OutputConstraint_boot tcErr a b

   Agda	Agda.Interaction.Base

   No documentation available.

9. DataSort :: QName -> b -> OutputConstraint_boot tcErr a b

   Agda	Agda.Interaction.Base

   No documentation available.

10. JustSort :: b -> OutputConstraint_boot tcErr a b

    Agda	Agda.Interaction.Base

    No documentation available.

Page 164 of many | Previous | Next