Type Definition clips_sys::CLIPSInteger

type CLIPSInteger = clipsInteger;