Up – Index » frama-c » Frama_c_kernel » Map » Make » Ord

Parameter `Make.Ord`

type t

val compare : t -> t -> int