package mel-bastet

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

Module Compare.SemiringSource

Parameters

module E : Interface.EQ with type t = S.t
module A : ARBITRARY with type t := S.t and type 'a arbitrary := 'a Q.arbitrary

Signature

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