Type Definition warp10::Int[][src]

type Int = i32;