Skip to main content

interpret_generated_companion_bundles

kernel_conformance::reference_interpreters

Function interpret_generated_companion_bundles 

Source 
pub fn interpret_generated_companion_bundles(
    spec: &SpecBundleV1,
    ast: &NormativeASTV1,
    obligations: &ProofObligationSetV1,
    schema_family: &str,
    generated_at: &str,
) -> GeneratedCompanionBundles
Expand description

Interprets the generated companion bundles for a spec surface.