package mel-bastet

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

Module Make.OrdSource

Parameters

module O : Interface.ORD
module A : ARBITRARY with type t := O.t and type 'a arbitrary := 'a Q.arbitrary

Signature

Sourcemodule V : sig ... end
Sourceval suite : string -> T.test T.suite