Language.SMTLib2.Internals.Type.Nat

data Nat

data Natural n

type family (n :: Nat) + (m :: Nat) :: Nat where ...

type family (n :: Nat) - (m :: Nat) :: Nat where ...

type family (n :: Nat) <= (m :: Nat) :: Bool where ...

naturalToInteger

naturalAdd

naturalSub

naturalSub'

naturalLEQ

reifyNat

nat

natT

type N0

type N1

type N2

type N3

type N4

type N5

type N6

type N7

type N8

type N9

type N10

type N11

type N12

type N13

type N14

type N15

type N16

type N17

type N18

type N19

type N20

type N21

type N22

type N23

type N24

type N25

type N26

type N27

type N28

type N29

type N30

type N31

type N32

type N33

type N34

type N35

type N36

type N37

type N38

type N39

type N40

type N41

type N42

type N43

type N44

type N45

type N46

type N47

type N48

type N49

type N50

type N51

type N52

type N53

type N54

type N55

type N56

type N57

type N58

type N59

type N60

type N61

type N62

type N63

type N64

class IsNatural n

deriveIsNatural