package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : TEST
module Q : QUICKCHECK with type t = T.test
module A : ARBITRARY with type t = bool and type 'a arbitrary = 'a Q.arbitrary

Signature

module M : sig ... end
module Conjunctive : sig ... end
module Disjunctive : sig ... end
module Eq : sig ... end
module Ord : sig ... end
module Join_Semilattice : sig ... end
module Meet_Semilattice : sig ... end
module Bounded_Join_Semilattice : sig ... end
module Bounded_Meet_Semilattice : sig ... end
module Lattice : sig ... end
module Bounded_Lattice : sig ... end
module Distributive_Lattice : sig ... end
module Bounded_Distributive_Lattice : sig ... end
module Heyting_Algebra : sig ... end
module Involutive_Heyting_Algebra : sig ... end
module Boolean_Algebra : sig ... end
val suites : T.test T.suite list