Function canrun_basic::ops::add

pub fn add<'a, T, A, B, C, D>(a: A, b: B, c: C) -> Goal<'a, D> where
    T: Add<Output = T> + Sub<Output = T> + UnifyIn<'a, D> + Copy + 'a,
    A: IntoVal<T>,
    B: IntoVal<T>,
    C: IntoVal<T>,
    D: DomainType<'a, T>, 

Add two values together.

Example:

use canrun::{unify, util, var, Goal};
use canrun::domains::example::I32;
use canrun_basic::add;

let x = var();
let goal: Goal<I32> = add(1, 2, x);
let results: Vec<_> = goal.query(x).collect();
assert_eq!(results, vec![3]);