//----------------------------------------------------------------------------------------------------
function display_type ($type, $typename, $from, $to, $begin, $end, $compare, $convert,
//----------------------------------------------------------------------------------------------------
function display_type ($type, $typename, $from, $to, $begin, $end, $compare, $convert,