Liking cljdoc? Tell your friends :D

ansatz.lean.jvm.used-products

Private pure v3 used-origin product model. Validation establishes shape and internal correspondence only; the source issuer must capture/recheck bytes. A caller-created manifest never grants native or public entry authority.

Private pure v3 used-origin product model. Validation establishes shape and
internal correspondence only; the source issuer must capture/recheck bytes.
A caller-created manifest never grants native or public entry authority.
raw docstring

authorize!clj

(authorize! document required-modules local-modules declared-installed)

Require the complete batch inventory, local origins or explicitly allowed installed origins. Used-origin inventory itself cannot authorize imports.

Require the complete batch inventory, local origins or explicitly allowed
installed origins. Used-origin inventory itself cannot authorize imports.
raw docstring

bind-graph!clj

(bind-graph! document logical)

Bind every logical definition to its actual defining primary product and reject unused products. Does not authenticate the supplied product bytes.

Bind every logical definition to its actual defining primary product and
reject unused products. Does not authenticate the supplied product bytes.
raw docstring

canonical-bytesclj

(canonical-bytes document)

Order-independent module-set encoding, with exact role order preserved.

Order-independent module-set encoding, with exact role order preserved.
raw docstring

digestclj

(digest document)

max-encoded-bytesclj


max-modulesclj


schemaclj


validate!clj

(validate! document)

Check exact pathless roles and primary-product identity, including absence. Empty manifests are valid for signatures containing only builtin types.

Check exact pathless roles and primary-product identity, including absence.
Empty manifests are valid for signatures containing only builtin types.
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