Module Reins.Types.Poly

module Poly: 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 (A : Comparable) -> 
functor (B : Comparable) -> sig .. end

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

module ComposeGenComparable: 
functor (A : ArbitraryComparable) -> 
functor (B : ArbitraryComparable) -> sig .. end

module Close: sig .. end