Module Reins.Types.Mono

module Mono: sig .. end

module type Equatable = sig .. end

module type Comparable = sig .. end

module type Hashable = sig .. end

module type Arbitrary = sig .. end

module type ArbitraryComparable = sig .. end

module ComposeComparable: 
functor (P : Reins.Types.Poly.Comparable) -> 
functor (M : Comparable) -> sig .. end

module ComposeGen: 
functor (P : Reins.Types.Poly.Arbitrary) -> 
functor (M : Arbitrary) -> sig .. end

module ComposeGenComparable: 
functor (P : Reins.Types.Poly.ArbitraryComparable) -> 
functor (M : ArbitraryComparable) -> sig .. end

module ComparablePair: 
functor (M1 : Comparable) -> 
functor (M2 : Comparable) -> sig .. end

module Comparable3Tuple: 
functor (M1 : Comparable) -> 
functor (M2 : Comparable) -> 
functor (M3 : Comparable) -> sig .. end

module GenPair: 
functor (A : Arbitrary) -> 
functor (B : Arbitrary) -> sig .. end

module Gen3Tuple: 
functor (A : Arbitrary) -> 
functor (B : Arbitrary) -> 
functor (C : Arbitrary) -> sig .. end