X (djot.Djot_kernel.FMapAVL.Make.X)

type t

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

val eq_dec : t -> t -> bool