natural-arithmetic-0.2.3.0: Arithmetic of natural numbers

Index - W

weakenArithmetic.Fin
weaken#Arithmetic.Fin
weakenL 
1 (Function)Arithmetic.Lte
2 (Function)Arithmetic.Lt
3 (Function)Arithmetic.Fin
weakenL# 
1 (Function)Arithmetic.Lte
2 (Function)Arithmetic.Lt
3 (Function)Arithmetic.Fin
weakenLhsL#Arithmetic.Lt
weakenLhsR#Arithmetic.Lt
weakenR 
1 (Function)Arithmetic.Lte
2 (Function)Arithmetic.Lt
3 (Function)Arithmetic.Fin
weakenR# 
1 (Function)Arithmetic.Lte
2 (Function)Arithmetic.Lt
3 (Function)Arithmetic.Fin
with 
1 (Function)Arithmetic.Nat
2 (Function)Arithmetic.Fin
with# 
1 (Function)Arithmetic.Nat
2 (Function)Arithmetic.Fin
WithNat 
1 (Type/Class)Arithmetic.Types
2 (Data Constructor)Arithmetic.Types