Skip to main content

emit_pi_interactive

Function emit_pi_interactive 

Source
pub fn emit_pi_interactive(
    ir: &WarbleIr,
    out_dir: &Path,
    purpose: Option<NativePurpose>,
    native_scope: Option<NativeSessionScope>,
    native_mcp: Option<NativeMcpDescriptor>,
    model: &PiModel,
) -> Result<(), DispatchError>