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 = int list and type 'a arbitrary = 'a Q.arbitrary
module AA : ARBITRARY_A with type 'a t = 'a list and type 'a arbitrary = 'a Q.arbitrary

Signature

module M : sig ... end
module Functor : sig ... end
module Apply : sig ... end
module Applicative : sig ... end
module Monad : sig ... end
module Alt : sig ... end
module Eq : sig ... end
val foldable : T.test T.suite
val unfoldable : T.test T.suite
val traversable : T.test T.suite
val show : T.test T.suite
val alt_order : T.test T.suite
val suites : T.test T.suite list