Theoria.Library.Nat.Validation (theoria v0.3.0)

Copy Markdown View Source

Validation metadata for Theoria.Library.Nat.

Summary

Functions

checks()

Returns validation checks owned by the Nat library.

Functions

checks()

Returns validation checks owned by the Nat library.