cargo_hax

Function compute_haxmeta_files

Source 
pub(crate) fn compute_haxmeta_files(
    options: &Options,
) -> (Vec<EmitHaxMetaMessage>, i32)
Expand description

Calls cargo with a custom driver which computes haxmeta files in TARGET. One haxmeta file is produced by crate. Each haxmeta file contains the full AST of one crate.