Function panopticon_core::il::lift [] [src]

pub fn lift<A, B, F>(op: &Operation<B>, m: &F) -> Operation<A> where
    A: Serialize + for<'a> Deserialize<'a> + Clone + PartialEq + Eq + Debug,
    B: Serialize + for<'a> Deserialize<'a> + Clone + PartialEq + Eq + Debug,
    F: Fn(&B) -> A, 

Maps the function m over all operands of op.