package General

  1. Overview
  2. Docs
package General
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Basic : sig ... end
module type S0 = sig ... end
module type S1 = sig ... end
module type S2 = sig ... end
module type S3 = sig ... end
module type S4 = sig ... end
module type S5 = sig ... end
module Specialize1 (M : Basic.S1) (A : Basic.S0) : sig ... end
module Specialize2 (M : Basic.S2) (A : Basic.S0) (B : Basic.S0) : sig ... end
module Specialize3 (M : Basic.S3) (A : Basic.S0) (B : Basic.S0) (C : Basic.S0) : sig ... end
module Specialize4 (M : Basic.S4) (A : Basic.S0) (B : Basic.S0) (C : Basic.S0) (D : Basic.S0) : sig ... end
module Specialize5 (M : Basic.S5) (A : Basic.S0) (B : Basic.S0) (C : Basic.S0) (D : Basic.S0) (E : Basic.S0) : sig ... end
module Tests : sig ... end