Skip to main content

formalize_selected_interpretation

rml

Function formalize_selected_interpretation 

Source 
pub fn formalize_selected_interpretation(
    request: FormalizationRequest,
) -> Formalization
Expand description

Convert an explicitly selected interpretation into an executable or partial RML formalization.