package bastet

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

Module Test.BoolSource

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

Sourcemodule M : sig ... end
Sourcemodule Conjunctive : sig ... end
Sourcemodule Disjunctive : sig ... end
Sourcemodule Eq : sig ... end
Sourcemodule Ord : sig ... end
Sourcemodule Join_Semilattice : sig ... end
Sourcemodule Meet_Semilattice : sig ... end
Sourcemodule Bounded_Join_Semilattice : sig ... end
Sourcemodule Bounded_Meet_Semilattice : sig ... end
Sourcemodule Lattice : sig ... end
Sourcemodule Bounded_Lattice : sig ... end
Sourcemodule Distributive_Lattice : sig ... end
Sourcemodule Heyting_Algebra : sig ... end
Sourcemodule Boolean_Algebra : sig ... end
Sourceval suites : T.test T.suite list