module Everything where

import Prelude
import Refinement
import Description
import Ornament
import Ornament.ParallelComposition
import Ornament.RefinementSemantics
import Ornament.ParallelComposition.PredicateSwap

import Examples.Nat
import Examples.Nat.TotalOrdering
import Examples.List
import Examples.LeftistHeap