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

Function roundtrip_random

src/ir/term/text/mod.rs:1041–1045  ·  view source on GitHub ↗
(ArbitraryTermEnv(t, _): ArbitraryTermEnv)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 2

serialize_termFunction · 0.85
parse_termFunction · 0.85

Tested by

no test coverage detected