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

Method new_var_metadata

src/ir/term/mod.rs:2036–2055  ·  view source on GitHub ↗

Create a new variable with the given metadata. If `precompute` is set, that precomputation is added to give a value for this variable. Otherwise, the variable is assumed to be an input.

(
        &mut self,
        metadata: VariableMetadata,
        precompute: Option<Term>,
    )

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

deskolemize_challengesFunction · 0.80

Calls 4

varFunction · 0.85
new_input_from_metaMethod · 0.80
add_outputMethod · 0.80
cloneMethod · 0.45

Tested by

no test coverage detected