curlfiletype

type curlfiletype = (

  CURLFILETYPE_FILE,

  CURLFILETYPE_DIRECTORY,

  CURLFILETYPE_SYMLINK,

  CURLFILETYPE_DEVICE_BLOCK,

  CURLFILETYPE_DEVICE_CHAR,

  CURLFILETYPE_NAMEDPIPE,

  CURLFILETYPE_SOCKET,

  CURLFILETYPE_DOOR,

  CURLFILETYPE_UNKNOWN

);