Ulex は ocamllex 使った字句解析手法ではありません。質問の例では lexer.mll を ocamllex で処理しているので ulex を全く使っていません。
Ulex は .ml に直接字句解析ルールを書くためのライブラリです。 ocamllex や他の字句解析ツールに存在するルール記述のためのDSLは ulex では pa_ulex.cma という CamlP4 文法拡張として提供されています:
lexer
R1 -> e1
| R2 -> e2
...
| Rn -> en
これは ocamllex での
parse
| R1 { e1 }
| R2 { e2 }
...
| R3 { e3 }
に相当するものですが、 lexer R1 -> e1 | .. | Rn -> en
は pa_ulex.cma によって普通の OCaml の式に展開されるので、普通に let
で束縛する事ができます。Ulex での
let rule1 = lexer R1 -> e1 | ... | Rn -> en
は ocamllex での
rule rule1 = parse R1 { e1 } | ... | Rn { en }
に大体一致します。
概要は以上です。詳しくは README および Ulex を使っている例をビルドしてみて、 pa_ulex.cma が実際にどうこの拡張文法を含む .ml ファイルのプリプロセスに使われているかを確認してください。