[−][src]Function canrun_basic::ops::mul
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>,
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]);