Documentation

Aesop.Nanos

structure Aesop.Nanos :
Instances For
    Equations
    Equations
    • Aesop.Nanos.instOfNatNanos = { ofNat := { nanos := n } }
    Equations
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For