MCPcopy Create free account

hub / github.com/argumentcomputer/ix / types & classes

Types & classes327 in github.com/argumentcomputer/ix

⨍ Functions 3,453◇ Types & classes 327
↓ 27 callersClassFVarId
crates/kernel/src/expr.rs:57
↓ 12 callersClassExpr
crates/common/src/env.rs:771
↓ 8 callersClassLevel
crates/common/src/env.rs:276
↓ 8 callersClassNode
crates/kernel/src/level.rs:310
↓ 3 callersClassName
crates/common/src/env.rs:111
↓ 2 callersClassConstant
crates/ixon/src/constant.rs:221
↓ 2 callersClassDef
crates/compile/src/mutual.rs:22
↓ 2 callersClassFunction
crates/aiur/src/bytecode.rs:10
↓ 2 callersClassMemory
crates/aiur/src/memory.rs:17
↓ 1 callersClassArbitraryConstant
crates/ixon/src/constant.rs:458
↓ 1 callersClassArbitraryEnv
crates/ixon/src/serialize.rs:2303
↓ 1 callersClassArbitraryExpr
crates/ixon/src/expr.rs:300
↓ 1 callersClassArbitraryUniv
crates/ixon/src/univ.rs:239
↓ 1 callersClassBelowDef
crates/compile/src/compile/aux_gen/below.rs:56
↓ 1 callersClassBelowIndc
crates/compile/src/compile/aux_gen/below.rs:66
↓ 1 callersClassCache
Combined cache reference passed to decoding functions.
crates/ffi/src/lean_env.rs:569
↓ 1 callersClassIter
crates/ixon/src/map.rs:93
↓ 1 callersClassKExpr
crates/kernel/src/expr.rs:23
↓ 1 callersClassKUniv
crates/kernel/src/level.rs:48
↓ 1 callersClassPrng
Small deterministic xorshift64 PRNG used for property-style tests. Avoids pulling `rand` into the kernel test module.
crates/kernel/src/subst.rs:1345
↓ 1 callersClassStore
Handle for reading and writing content-addressed objects under `~/.ix/store`.
crates/compile/src/store.rs:49
↓ 1 callersClassUPrng
crates/kernel/src/level.rs:1028
ClassAccum
crates/kernel/src/profile.rs:364
ClassAddress
crates/common/src/address.rs:13
EnumAggNode
crates/kernel/src/shard.rs:272
EnumAiurCircuit
crates/aiur/src/synthesis.rs:32
InterfaceAiurGadget
A trait representing a generic Aiur gadget. Gadgets define small, reusable components for Aiur. Implementing this trait requires a gadget to define:
crates/aiur/src/gadgets.rs:20
ClassAiurSystem
crates/aiur/src/synthesis.rs:25
ClassAnonEnv
crates/kernel/src/anon_env.rs:33
EnumAnonWorkItem
crates/ffi/src/kernel.rs:1301
EnumAnonWorkItem
crates/kernel/src/anon_work.rs:46
ClassArgs
sp1/host/src/main.rs:39
ClassArgs
zisk/host/src/main.rs:49
EnumAssumptionTree
crates/ixon/src/assumption_tree.rs:52
ClassAuxCompareEntry
crates/ffi/src/lean_env.rs:325
ClassAuxDef
crates/compile/src/compile/aux_gen.rs:121
EnumAuxKind
crates/compile/src/decompile.rs:1899
ClassAuxLayout
crates/ixon/src/env.rs:54
ClassAuxPatchesOutput
crates/compile/src/compile/aux_gen.rs:137
ClassAxiom
crates/ixon/src/constant.rs:73
ClassAxiomVal
crates/common/src/env.rs:1131
ClassBRecOnCallSitePlan
crates/compile/src/compile/surgery.rs:125
ClassBRecOnDef
crates/compile/src/compile/aux_gen/brecon.rs:47
EnumBelowConstant
crates/compile/src/compile/aux_gen/below.rs:41
ClassBelowCtor
crates/compile/src/compile/aux_gen/below.rs:90
ClassBinder
crates/compile/src/compile/aux_gen/recursor.rs:885
EnumBinderInfo
crates/common/src/env.rs:553
EnumBinderKind
crates/compile/src/compile/aux_gen/expr_utils.rs:453
ClassBlake3
crates/aiur/src/gadgets/blake3.rs:29
EnumBlake3Op
crates/aiur/src/gadgets/blake3.rs:42
ClassBlock
crates/aiur/src/bytecode.rs:31
ClassBlockCache
crates/compile/src/decompile.rs:89
ClassBlockCache
crates/compile/src/compile.rs:185
ClassBlockEntry
crates/kernel/src/profile.rs:125
ClassBlockProfile
crates/kernel/src/profile.rs:147
ClassBlockResult
crates/ffi/src/lean_env.rs:1908
ClassBlockSizeStats
crates/compile/src/compile.rs:76
ClassBudgetPlan
A partition sized to a per-shard Zisk **cycle** budget (rather than a fixed shard count). See [`partition_for_cycle_cap`].
crates/kernel/src/shard.rs:1785
ClassBytes1
AIR implementer for arity 1 byte-related lookups.
crates/aiur/src/gadgets/bytes1.rs:28
EnumBytes1Op
crates/aiur/src/gadgets/bytes1.rs:30
ClassBytes1Queries
Accumulator of queries performed against `Bytes1`.
crates/aiur/src/gadgets/bytes1.rs:208
ClassBytes2
AIR implementer for arity 2 byte-related lookups.
crates/aiur/src/gadgets/bytes2.rs:51
EnumBytes2Op
crates/aiur/src/gadgets/bytes2.rs:53
ClassBytes2Queries
Accumulator of queries performed against `Bytes2`.
crates/aiur/src/gadgets/bytes2.rs:425
EnumBytesSource
crates/ixon/src/lazy.rs:54
ClassCachedExpr
crates/compile/src/compile.rs:178
EnumCallSiteEntry
crates/ixon/src/metadata.rs:33
ClassCallSitePlan
crates/compile/src/compile/surgery.rs:56
ClassCallerState
crates/aiur/src/execute.rs:236
EnumCase
crates/ixon/src/univ.rs:171
EnumCase
crates/ixon/src/expr.rs:156
ClassChannelEntries
Per-channel entry produced by the parallel scan over the closure. Sorted into the IOBuffer in a serial fold afterwards.
crates/ixvm-codegen/src/aiur_ixvm_witness.rs:126
EnumCheckBlockKind
crates/kernel/src/check.rs:52
InterfaceCheckDupLevelParams
Check a metadata field for duplicate level parameter names. `Vec<Name>` performs the real check; `()` (erased metadata) is a no-op.
crates/kernel/src/mode.rs:74
ClassCheckOutcome
crates/ffi/src/kernel.rs:2220
ClassCheckResult
crates/compile/src/decompile.rs:4524
EnumCheckStatus
crates/ffi/src/kernel.rs:2213
ClassCheckWorkItem
crates/ffi/src/kernel.rs:945
EnumCircuitType
crates/aiur/src/synthesis.rs:73
EnumClaim
crates/ixon/src/proof.rs:155
ClassCoarseLevel
One coarser level of a single bisection's multilevel hierarchy. Mirrors the cut-relevant fields of [`SubHyper`] (`vw`/`bw`/`nets`/`vnets`) plus the `m
crates/kernel/src/shard.rs:995
ClassColumnIndex
crates/aiur/src/trace.rs:26
ClassColumnMutSlice
crates/aiur/src/trace.rs:31
ClassComm
crates/ixon/src/comm.rs:19
EnumCompileError
crates/ixon/src/error.rs:54
ClassCompileFlatMember
crates/compile/src/compile/aux_gen/nested.rs:36
ClassCompileOptions
crates/compile/src/compile.rs:68
ClassCompileState
Compile state for building the Ixon environment.
crates/compile/src/compile.rs:108
ClassCompileStateStats
crates/compile/src/compile.rs:208
ClassCompiledMutualBlock
Result of compiling a mutual block.
crates/compile/src/compile.rs:2320
ClassCondensedBlocks
The condensation of a reference graph into strongly connected components.
crates/compile/src/condense.rs:14
ClassConstAuxFields
crates/compile/src/decompile.rs:2277
ClassConstRecord
crates/kernel/src/profile.rs:458
ClassConstSizeBreakdown
crates/ffi/src/lean_env.rs:3871
EnumConstVariantTag
crates/ixon/src/lazy.rs:83
EnumConstantInfo
crates/common/src/env.rs:1285
EnumConstantInfo
crates/ixon/src/constant.rs:177
ClassConstantMeta
crates/ixon/src/metadata.rs:207
EnumConstantMetaInfo
crates/ixon/src/metadata.rs:110
ClassConstantVal
crates/common/src/env.rs:1111
next →1–100 of 327, ranked by callers