prim-lt（組み込みの < 関数）に別名 lt を付けてるだけです。