Skip to main content

generate_schema_bundle

spec_execution

Function generate_schema_bundle 

Source 
pub fn generate_schema_bundle(
    spec: &SpecBundleV1,
    ast: &NormativeASTV1,
    obligations: &ProofObligationSetV1,
    schema_family: impl Into<String>,
    generated_at: impl Into<String>,
) -> (GeneratedSchemaBundleV1, ProofEvaluationReceiptV1)