Functor Tools.CaseB

module CaseB: functor (B1 : Base) -> functor (B2 : Base) -> sig .. end

Parameters:

`B1`	:	`Base`
`B2`	:	`Base`

type t = (B1.t, B2.t) Tools.case

val compare : t -> t -> int