1
1
------------------------------------------------------------------------
2
4
-- Convenient syntax for "equational reasoning" using a partial order
3
5
------------------------------------------------------------------------
7
7
open import Relation.Binary
9
9
module Relation.Binary.PartialOrderReasoning