package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type
val commutativity : Bool.Meet_Semilattice.t -> Bool.Meet_Semilattice.t -> bool
val idempotency : Bool.Meet_Semilattice.t -> bool