electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
module Make (D : sig ... end) : sig ... end