Kind/book/Cmp/is_gtn.kind2

use Bool/{true,false}
use Cmp/{ltn,eql,gtn}

Cmp/is_gtn
- cmp: Cmp
: Bool

match cmp {
  ltn: false
  eql: false
  gtn: true
}