E (djot.Djot_kernel.FMapAVL.Make.E)

type t = X.t

val compare : t -> t -> t OrderedType.coq_Compare

val eq_dec : t -> t -> bool