Type Definition agda_mode::pos::IntPos

type IntPos = i32;