val make : unit -> ('k1, 'k2, 'd) tval add : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> 'd -> unitval remove : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> unitval find : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> 'd optionval length : ('k1, 'k2, 'd) t -> intval clear : ('k1, 'k2, 'd) t -> unit