electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Symbol
type t
val make : string -> t
val compare : t -> t -> int
val compare_string : t -> t -> int
val hash : t -> int
val equal : t -> t -> bool
include Intf.Print.S with type t := t
val pp : t Fmtc.t
val to_string : t -> string