electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module type Libelectrod . Intf . Print . S
type t
val pp : t Fmtc.t
val to_string : t -> string