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.