MCPcopy Create free account
hub / github.com/circify/circ / declare_init

Method declare_init

src/circify/mod.rs:567–572  ·  view source on GitHub ↗

Declare `name` in the current scope as being a `ty`, and being equal to `val`. If `public`, then make it a public (fixed) rather than private (existential) circuit input.

(&mut self, name: VarName, ty: E::Ty, val: Val<E::T>)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 4

circ_declare_initMethod · 0.80
circ_declare_initMethod · 0.80
circ_declare_initMethod · 0.80
exprMethod · 0.80

Calls 2

declare_env_nameMethod · 0.80
cloneMethod · 0.45

Tested by

no test coverage detected