trivial_compiler

Function unify_to_proof

Source 
pub fn unify_to_proof<'a, T, F>(
    init_vars: u32,
    unify_stream: T,
    get_nr_args: F,
) -> Result<Vec<Command<Proof>>, ConversionError>
where
    T: IntoIterator<Item = &'a Command<Unify>>,
    F: Fn(u32) -> Option<u32>,