schema.spec.leaf
leaf-spec
(leaf-spec pre)
A leaf spec represents an atomic datum that is checked completely with a single precondition, and is otherwise a black box to Schema.
(leaf-spec pre)
A leaf spec represents an atomic datum that is checked completely with a single precondition, and is otherwise a black box to Schema.