[][src]Type Definition CCODE::tagPOINTER_INPUT_TYPE

type tagPOINTER_INPUT_TYPE = c_int;