Liking cljdoc? Tell your friends :D

ansatz.lean.jvm.capabilities

Audited positive task-free profile. Descriptors are metadata, not artifact authority.

Audited positive task-free profile. Descriptors are metadata, not artifact authority.
raw docstring

check-program!clj

(check-program! ctx headers descriptor)

Bind the requirements to the actual fully prepared canonical Program. No engine exists.

Bind the requirements to the actual fully prepared canonical Program. No engine exists.
raw docstring

check-rows!clj

(check-rows! basis rows)

Refuse every unknown capability before Header publication/engine effects. Match actual runtime symbol AND full ABI, then classify semantic intrinsic ID.

Refuse every unknown capability before Header publication/engine effects.
Match actual runtime symbol AND full ABI, then classify semantic intrinsic ID.
raw docstring

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
←Move to previous article
→Move to next article
Ctrl+/Jump to the search field
× close