could someone comment on the difference between:
    do_list (output_value chan) ProductionLst
and
    output_value chan ProductionLst

 I guess what I'm looking for is an output_value statement that will allow 
me to say:
  let rec IterateProductionList = fun chan ->
    (match (input_value chan:ProductionValue) with
       t -> SomeCrazyFunctionOnProductionValue t;
         IterateProductionList chan
       | [] -> ())
;;

     thanks in advance,
     doug makofka
     dmakofka@gic.gi.com