Function mini_kanren::goals::numbers::num

pub fn num(n: u64) -> Value

Create a numeric value