[][src]Type Definition warp10::Int

type Int = i32;