let indtyuri = baseuri "ind#1/" num
let indconuri = baseuri "ind#1/" num "/" num
let blanks = [' ' '\t' '\n']
rule token =
parse
blanks { token lexbuf } (* skip blanks *)
let indtyuri = baseuri "ind#1/" num
let indconuri = baseuri "ind#1/" num "/" num
let blanks = [' ' '\t' '\n']
rule token =
parse
blanks { token lexbuf } (* skip blanks *)
| indtyuri { INDTYURI (indtyuri_of_uri ("cic:" ^ L.lexeme lexbuf)) }
| indconuri { INDCONURI (indconuri_of_uri("cic:" ^ L.lexeme lexbuf)) }
| num { NUM (int_of_string (L.lexeme lexbuf)) }
| indtyuri { INDTYURI (indtyuri_of_uri ("cic:" ^ L.lexeme lexbuf)) }
| indconuri { INDCONURI (indconuri_of_uri("cic:" ^ L.lexeme lexbuf)) }
| num { NUM (int_of_string (L.lexeme lexbuf)) }