質問です。
前スレで↓のような宣言が書かれていたのですが、
これはどのような実装で使うことができる構文なのでしょうか？

type Hoge' = { h in Hoge | (one h) < (two h)}