Module Quickcheck_unit_tests.Test.O

module O: JC.Observer