Commit 4eeb62da authored by POTTIER Francois's avatar POTTIER Francois

Added [Boolean.union].

parent 3ffb877e
......@@ -12,3 +12,6 @@ let equal (b1 : bool) (b2 : bool) =
let is_maximal b =
b
let union (b1 : bool) (b2 : bool) =
b1 || b2
include Fix.PROPERTY with type property = bool
val union: property -> property -> property
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment