X (djot.Djot_kernel.MSetAVL.Make.X)

type t

val compare : t -> t -> Datatypes.comparison

val eq_dec : t -> t -> bool