pub fn div<T, A, B, C>(a: A, b: B, c: C) -> impl Goalwhere
T: Unify + Mul<Output = T> + Div<Output = T> + Copy,
A: Into<Value<T>>,
B: Into<Value<T>>,
C: Into<Value<T>>,
Expand description
Divide one value with another.
Example:
use canrun::{LVar, Query};
use canrun::ops::div;
let x = LVar::new();
let goal = div(3, 2, x);
let results: Vec<_> = goal.query(x).collect();
assert_eq!(results, vec![1]);