electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
type t = SMV_atom.t
val make : Domain.t -> Name.t -> Tuple.t -> t
val compare : t -> t -> int
val compare_string : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val domain_arity : t -> int option
val is_const : t -> bool
val is_partial : t -> bool
val split_string : string -> (Name.t * Tuple.t) option
val split : t -> (Name.t * Tuple.t) option
val pp : t Fmtc.t