Module BidirectionalLabeled.E
val src : ('a * 'b * 'c) -> 'aval dst : ('a * 'b * 'c) -> 'cval label : ('a * 'b * 'c) -> 'bval create : 'a -> 'b -> 'c -> 'a * 'b * 'c
module C : sig ... endBidirectionalLabeled.Eval src : ('a * 'b * 'c) -> 'aval dst : ('a * 'b * 'c) -> 'cval label : ('a * 'b * 'c) -> 'bval create : 'a -> 'b -> 'c -> 'a * 'b * 'cmodule C : sig ... end