canrun_basic::ops

Function mul

Source 
pub fn mul<'a, T, A, B, C, D>(a: A, b: B, c: C) -> Goal<'a, D>
where
    T: Mul<Output = T> + Div<Output = T> + UnifyIn<'a, D> + Copy + 'a,
    A: IntoVal<T>,
    B: IntoVal<T>,
    C: IntoVal<T>,
    D: DomainType<'a, T>,
Expand description

Multiply two values together.

ยงExample:

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

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