functor (L : OrderedType) (R : OrderedType) ->   sig     type t     type left = L.t     type right = R.t     val empty : t     val is_empty : t -> bool     val add : t -> left -> right -> t     val remove : t -> left -> right -> t     val cardinal_left : t -> int     val cardinal_right : t -> int     val remove_left : t -> left -> t     val remove_right : t -> right -> t     val mem_left : t -> left -> bool     val mem_right : t -> right -> bool     val find_left : t -> left -> right sequence     val find_right : t -> right -> left sequence     val find1_left : t -> left -> right option     val find1_right : t -> right -> left option     val fold : ('a -> left -> right -> 'a) -> 'a -> t -> 'a     val pairs : t -> (left * right) sequence     val add_pairs : t -> (left * right) sequence -> t     val seq_left : t -> left sequence     val seq_right : t -> right sequence   end