Commit 4454ad47 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update Fix.

parent 884dafde
......@@ -19,5 +19,14 @@ let bottom =
let equal (b1 : bool) (b2 : bool) =
b1 = b2
let leq (b1 : bool) (b2 : bool) =
b1 <= b2
let is_maximal b =
b
let leq_join b1 b2 =
b1 || b2
let join =
leq_join
......@@ -15,3 +15,5 @@
open Sigs
include PROPERTY with type property = bool
include SEMI_LATTICE with type property := bool
include MINIMAL_SEMI_LATTICE with type property := bool
......@@ -10,7 +10,9 @@
(* *)
(******************************************************************************)
(**The option lattice. The ordering is [None <= Some x]. *)
(**The option type, equipped with the ordering is [None <= Some x]. *)
(**This ordering is not a lattice. *)
(**Although the code is polymorphic in the type of elements, it must still
be packaged as a functor, because [property] cannot be a parameterized
......
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