Index to all operations

A F L M S T _ 

A

add  (Data.Nat)

A F L M S T _ 

F

fromNat  (Data.Nat)

A F L M S T _ 

L

leq  (Data.Nat)

A F L M S T _ 

M

mul  (Data.Nat)

A F L M S T _ 

S

sub  (Data.Nat)

A F L M S T _ 

T

toNat  (Data.Nat)

A F L M S T _ 

_

_impl#*#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_impl#+#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_impl#-#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_impl#/=#Prelude.Eq#Data.Nat.Nat  (Data.Nat)
_impl#==#Prelude.Eq#Data.Nat.Nat  (Data.Nat)
_impl#===#Prelude.Data#Data.Nat.Nat  (Data.Nat)
_impl#abs#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_impl#aValue#Prelude.Data#Data.Nat.Nat  (Data.Nat)
_impl#fromInt#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_impl#negate#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_impl#readList#Prelude.Read#Data.Nat.Nat  (Data.Nat)
_impl#readsPrec#Prelude.Read#Data.Nat.Nat  (Data.Nat)
_impl#show#Prelude.Show#Data.Nat.Nat  (Data.Nat)
_impl#showList#Prelude.Show#Data.Nat.Nat  (Data.Nat)
_impl#showsPrec#Prelude.Show#Data.Nat.Nat  (Data.Nat)
_impl#signum#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_inst#Prelude.Data#Data.Nat.Nat  (Data.Nat)
_inst#Prelude.Eq#Data.Nat.Nat  (Data.Nat)
_inst#Prelude.Num#Data.Nat.Nat  (Data.Nat)
_inst#Prelude.Read#Data.Nat.Nat  (Data.Nat)
_inst#Prelude.Show#Data.Nat.Nat  (Data.Nat)

A F L M S T _