Up – bastet » Bastet__Result » Many_Valued_Logic » Bounded_Meet_Semilattice

Module `Many_Valued_Logic.Bounded_Meet_Semilattice`

Parameters

Ok : Bastet.Interface.BOUNDED_MEET_SEMILATTICE
Error : Bastet.Interface.BOUNDED_MEET_SEMILATTICE

Signature

include Bastet.Interface.MEET_SEMILATTICE

type t

val meet : t -> t -> t

val top : t