[][src]Type Definition CCODE::DOUBLE

type DOUBLE = f64;