Liking cljdoc? Tell your friends :D

ansatz.lean.jvm.representation

Private observation→storage-program checks. No native/source authentication, public descriptor issuance, entry admission, or legacy behavior changes.

Private observation→storage-program checks. No native/source authentication,
public descriptor issuance, entry admission, or legacy behavior changes.
raw docstring

normalize-entry-types!clj

(normalize-entry-types! document io?)

Normalize the unchanged type/layout slice of actual CLI v3 evidence. Caller separately validates full entry signatures/native function DefEq/root usage and derives io?; this function grants no callable or source authority.

Normalize the unchanged type/layout slice of actual CLI v3 evidence.
Caller separately validates full entry signatures/native function DefEq/root
usage and derives io?; this function grants no callable or source authority.
raw docstring

normalize-observation!clj

(normalize-observation! observation)
(normalize-observation! observation options)

Prepare a strict private typed-storage program; issue no source authority. Explicit root subsets are bounded observation work, never silent fallback.

Prepare a strict private typed-storage program; issue no source authority.
Explicit root subsets are bounded observation work, never silent fallback.
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