electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
type t
val make : (Name.t * Tuple.t) list -> (Name.t * Tuple.t) list -> t
val fold : ( (Name.t * Tuple.t) -> (Name.t * Tuple.t) -> 'a -> 'a ) -> t -> 'a -> 'a
val rename : ( Atom.t, Atom.t ) CCList.Assoc.t -> (Name.t * Name.t) list -> t -> t