Functor Tools.MakeUF

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

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

type descriptor 

type accumulator = unit 

type state 

val initial : state

val representative : item -> state -> item

val equivalent : item -> item -> state -> bool

val descriptor : item -> state -> descriptor

val set : item ->
       descriptor -> state -> state

val union : item ->
       item ->
       state ->
       accumulator -> state * accumulator

val domain : state -> item list