Function trivial_compiler::unify_to_proof

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>,