Source file `bounded_meet_semilattice.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
module type LAWS = sig
  type t

  val bounded_meet_semilattice_1 : unit -> (t, t) Law.t
end

module For (L : Preface_specs.BOUNDED_MEET_SEMILATTICE) :
  LAWS with type t := L.t = struct
  open Law
  include Meet_semilattice.For (L)

  let bounded_meet_semilattice_1 () =
    let lhs x = L.meet x L.top
    and rhs x = x in
    law ("meet x top" =~ lhs) ("x" =~ rhs)
  ;;
end