Type Alias hvmc::run::Val

pub type Val = u64;