Documentation

Aesop.Nanos

structure Aesop.Nanos :
Instances For
    Equations
    Instances For
      Equations
      Instances For
        Equations
        Equations
        instance Aesop.Nanos.instDecidableRelLt :
        DecidableRel fun (x1 x2 : Nanos) => x1 < x2
        Equations
        Equations
        instance Aesop.Nanos.instDecidableRelLe :
        DecidableRel fun (x1 x2 : Nanos) => x1 x2
        Equations
        Equations
        Equations
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For