Skip to main content

evaluate_formalization

rml

Function evaluate_formalization 

Source 
pub fn evaluate_formalization(
    formalization: &Formalization,
) -> FormalizationEvaluation
Expand description

Evaluate a formalization when it has an executable RML AST.