Function wrap_bin_op

(
    name: &str,
    fu: Option<fn(Term, Term) -> Term>,
    ff: Option<fn(Term, Term) -> Term>,
    fb: Option<fn(Term, Term) -> Term>,
    fun: Option<fn(Term, Term) -> Term>,
    a: T,
    b: T,
)