MCPcopy Index your code
hub / github.com/PLSysSec/wave / EncodeTypeCheck

Interface EncodeTypeCheck

tools/fuzz-gen/src/specifications/untyped.rs:333–335  ·  view source on GitHub ↗

A trait for encoding the statements for type-checking the spec.

Source from the content-addressed store, hash-verified

331
332/// A trait for encoding the statements for type-checking the spec.
333pub trait EncodeTypeCheck {
334 fn encode_type_check(&self, tokens: &mut TokenStream);
335}
336
337impl EncodeTypeCheck for Vec<Specification> {
338 fn encode_type_check(&self, tokens: &mut TokenStream) {

Callers

nothing calls this directly

Implementers 1

untyped.rstools/fuzz-gen/src/specifications/unty

Calls

no outgoing calls

Tested by

no test coverage detected