Type Definition midas_rs::Int

type Int = u64;