clash-prelude-0.6.0.1: CAES Language for Synchronous Hardware - Prelude library
CLaSH.Promoted.Ord
Synopsis
type family Min x y :: Nat Source
Type-level min function for natural numbers
min
Equations
type family Max x y :: Nat Source
Type-level max function for natural numbers
max