package bastet

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

Module Test.ListSource

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

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