Function term

src/ir/term/mod.rs:1522–1528 · view source on GitHub ↗

(op: Op, cs: Vec<Term>)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

eval_opFunction · 0.85

fromMethod · 0.85

restrict_to_inputsMethod · 0.85

tupleMethod · 0.85

group_add_naryMethod · 0.85

group_negMethod · 0.85

group_identityMethod · 0.85

make_arrayFunction · 0.85

unmake_arrayFunction · 0.85

tuple_termsFunction · 0.85

leaf_termFunction · 0.85

ordered_call_termMethod · 0.85

check_recFunction · 0.85

sat_testFunction · 0.68

unsat_testFunction · 0.68