Function fn_operation 

pub fn fn_operation<O: Clone, A: HasVar>(
    builder: &Rc<RefCell<OpenHypergraph<O, A>>>,
    vars: &[Var<O, A>],
    result_type: O,
    op: A,
) -> Var<O, A>

An n → 1 operation, returning its sole target Var.