electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
val rename_elo : bool -> Ast.t -> Ast.t

true ==> rename, otherwise, keep original names