electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Intf
module Print : sig ... end
module type COMPARE = sig ... end