examples/sbyc_domain.rb in myrrha-1.2.2 vs examples/sbyc_domain.rb in myrrha-2.0.0

- old
+ new

@@ -1,7 +1,7 @@ require 'myrrha' -PosInt = Myrrha.domain(Integer){|i| i>0} +PosInt = Myrrha::Domain.sbyc(Integer){|i| i>0} ### PosInt.class PosInt.superclass