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

Method load

src/front/zsharp/parser.rs:109–111  ·  view source on GitHub ↗

Recursively load a Z# file. ## Returns Returns a map from file paths to parsed files.

(&self, p: &P)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 4

circ_loadMethod · 0.45
terms_tailMethod · 0.45
genMethod · 0.45
interpretMethod · 0.45

Calls 2

recursive_loadMethod · 0.80
unwrapMethod · 0.45

Tested by

no test coverage detected