def newer
import ezx@1.11.0.0/src/git/git.bend as Gitimport Base
661# whether the first version is strictly newer
662def newer(order: Ord) -> Bool:
663 match order:
664 case Gt{}:
665 True{}
666 case Lt{}:
667 False{}
668 case Eq{}:
669 False{}