package bastet

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