Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

data (<) :: Nat -> Nat -> Type where infix 4 Source #

Proof that the first argument is strictly less than the second argument.

Safe Haskell | None |
---|---|

Language | Haskell2010 |

data (<) :: Nat -> Nat -> Type where infix 4 Source #

Proof that the first argument is strictly less than the second argument.