"sStream.ml" 24 1010 1014 "sStream.ml" 24 1010 1018 type( ?first:'a -> (unit -> 'a option) -> 'a sstream ) "sStream.ml" 24 1010 1020 "sStream.ml" 24 1010 1025 type( 'a option ) "sStream.ml" 24 1010 1026 "sStream.ml" 24 1010 1030 type( unit -> 'a option ) "sStream.ml" 24 1010 1043 "sStream.ml" 24 1010 1048 type( 'a option ) "sStream.ml" 25 1050 1061 "sStream.ml" 25 1050 1065 type( unit -> 'a option ) "sStream.ml" 24 1010 1033 "sStream.ml" 26 1067 1077 type( 'a sstream ) "sStream.ml" 28 1079 1083 "sStream.ml" 28 1079 1087 type( 'a sstream -> 'a option ) "sStream.ml" 28 1079 1088 "sStream.ml" 28 1079 1089 type( 'a sstream ) "sStream.ml" 29 1092 1100 "sStream.ml" 29 1092 1101 type( 'a sstream ) "sStream.ml" 29 1092 1100 "sStream.ml" 29 1092 1107 type( 'a option ) "sStream.ml" 30 1113 1119 "sStream.ml" 30 1113 1123 type( 'a option ) "sStream.ml" 30 1113 1127 "sStream.ml" 30 1113 1128 type( 'a sstream ) "sStream.ml" 30 1113 1127 "sStream.ml" 30 1113 1133 type( unit -> 'a option ) "sStream.ml" 30 1113 1134 "sStream.ml" 30 1113 1136 type( unit ) "sStream.ml" 30 1113 1127 "sStream.ml" 30 1113 1136 type( 'a option ) "sStream.ml" 31 1137 1143 "sStream.ml" 31 1137 1144 type( 'a option ) "sStream.ml" 32 1148 1149 "sStream.ml" 32 1148 1150 type( 'a sstream ) "sStream.ml" 32 1148 1160 "sStream.ml" 32 1148 1164 type( 'a option ) "sStream.ml" 32 1148 1149 "sStream.ml" 32 1148 1164 type( unit ) "sStream.ml" 33 1166 1167 "sStream.ml" 33 1166 1168 type( 'a option ) "sStream.ml" 32 1148 1149 "sStream.ml" 33 1166 1168 type( 'a option ) "sStream.ml" 29 1092 1094 "sStream.ml" 33 1166 1168 type( 'a option ) "sStream.ml" 35 1170 1174 "sStream.ml" 35 1170 1178 type( 'a sstream -> 'a option ) "sStream.ml" 35 1170 1179 "sStream.ml" 35 1170 1180 type( 'a sstream ) "sStream.ml" 36 1184 1189 "sStream.ml" 36 1184 1190 type( 'a sstream ) "sStream.ml" 36 1184 1189 "sStream.ml" 36 1184 1196 type( 'a option ) "sStream.ml" 36 1184 1197 "sStream.ml" 36 1184 1198 type( 'a option -> 'a option -> bool ) "sStream.ml" 36 1184 1199 "sStream.ml" 36 1184 1203 type( 'a option ) "sStream.ml" 36 1184 1189 "sStream.ml" 36 1184 1203 type( bool ) "sStream.ml" 37 1205 1212 "sStream.ml" 37 1205 1213 type( 'a sstream ) "sStream.ml" 37 1205 1223 "sStream.ml" 37 1205 1224 type( 'a sstream ) "sStream.ml" 37 1205 1223 "sStream.ml" 37 1205 1229 type( unit -> 'a option ) "sStream.ml" 37 1205 1230 "sStream.ml" 37 1205 1232 type( unit ) "sStream.ml" 37 1205 1223 "sStream.ml" 37 1205 1232 type( 'a option ) "sStream.ml" 37 1205 1212 "sStream.ml" 37 1205 1232 type( unit ) "sStream.ml" 36 1184 1186 "sStream.ml" 37 1205 1232 type( unit ) "sStream.ml" 38 1234 1236 "sStream.ml" 38 1234 1237 type( 'a sstream ) "sStream.ml" 38 1234 1236 "sStream.ml" 38 1234 1243 type( 'a option ) "sStream.ml" 36 1184 1186 "sStream.ml" 38 1234 1243 type( 'a option ) "sStream.ml" 40 1245 1249 "sStream.ml" 40 1245 1253 type( 'a sstream -> unit ) "sStream.ml" 40 1245 1254 "sStream.ml" 40 1245 1255 type( 'a sstream ) "sStream.ml" 41 1259 1264 "sStream.ml" 41 1259 1265 type( 'a sstream ) "sStream.ml" 41 1259 1264 "sStream.ml" 41 1259 1271 type( 'a option ) "sStream.ml" 41 1259 1272 "sStream.ml" 41 1259 1273 type( 'a option -> 'a option -> bool ) "sStream.ml" 41 1259 1274 "sStream.ml" 41 1259 1278 type( 'a option ) "sStream.ml" 41 1259 1264 "sStream.ml" 41 1259 1278 type( bool ) "sStream.ml" 42 1280 1287 "sStream.ml" 42 1280 1293 type( 'a option -> unit ) "sStream.ml" 42 1280 1295 "sStream.ml" 42 1280 1296 type( 'a sstream ) "sStream.ml" 42 1280 1295 "sStream.ml" 42 1280 1301 type( unit -> 'a option ) "sStream.ml" 42 1280 1302 "sStream.ml" 42 1280 1304 type( unit ) "sStream.ml" 42 1280 1294 "sStream.ml" 42 1280 1305 type( 'a option ) "sStream.ml" 42 1280 1287 "sStream.ml" 42 1280 1305 type( unit ) "sStream.ml" 43 1306 1313 "sStream.ml" 43 1306 1314 type( 'a sstream ) "sStream.ml" 43 1306 1324 "sStream.ml" 43 1306 1328 type( 'a option ) "sStream.ml" 43 1306 1313 "sStream.ml" 43 1306 1328 type( unit ) "sStream.ml" 41 1259 1261 "sStream.ml" 43 1306 1328 type( unit )