TypeNat Module

Assembly: FSharpPlus.dll

Function or value	Description
`IsZero arg1` Full Usage: `IsZero arg1` Parameters: arg0 : `^n` Returns: `'e`	arg0 : `^n` Returns: `'e`
`Match caseZ caseSn n` Full Usage: `Match caseZ caseSn n` Parameters: caseZ : `Z -> 'b` caseSn : `S<'a> -> 'c` n : `^Nat` Returns: `'d`	caseZ : `Z -> 'b` caseSn : `S<'a> -> 'c` n : `^Nat` Returns: `'d`
`Pred n` Full Usage: `Pred n` Parameters: n : `^n` Returns: `'a`	n : `^n` Returns: `'a`