Up – Index » frama-c » Fclib » Qstack » Make » D

Parameter `Make.D`

type t

val equal : t -> t -> bool