electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Intf . Print . Mixin

Parameters

module M : sig ... end

Signature

val pp : M.t Fmtc.t
val to_string : M.t -> string