#open "windows";;


type pbmtype =
{
   magic_number : string;
   pbm_width    : int;
   pbm_height   : int;
   pbmmax_color : int
};;


value readpbm_head : string -> pbmtype
  and readpbm : string -> color vect vect
;;
