pub fn operation<O: Clone, A: HasVar>( builder: &Rc<RefCell<OpenHypergraph<O, A>>>, vars: &[Var<O, A>], result_types: Vec<O>, op: A, ) -> Vec<Var<O, A>>
A general helper for constructing m → n maps
m → n