flowistry_pdg_construction::encoder

Function encode_to_file

Source
pub fn encode_to_file<'tcx, V: Encodable<ParalegalEncoder<'tcx>>>(
    tcx: TyCtxt<'tcx>,
    path: impl AsRef<Path>,
    v: &V,
)
Expand description

Convenience function that encodes some value to a file.