Lines Matching defs:len
21 let input_stringlist ic len =
22 let get_string_list sect len =
24 if e != len then
31 let sect = String.create len in
32 let _ = really_input ic sect 0 len in
33 get_string_list sect len
65 let len = Bytesections.seek_section ic section in
66 if len > 0 then match section with
76 (input_stringlist ic len)
81 (input_stringlist ic len)
83 let prims = (input_stringlist ic len) in