electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Intf . Print
module type S = sig ... end
module Mixin (M : sig ... end) : S with type t := M.t