electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module type Libelectrod . Intf . COMPARE
type t
val compare : t -> t -> int
val equal : t -> t -> bool