electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
method visit_'v : simplify -> unit -> Libelectrod.Ast.var -> Libelectrod.Ast.var
method visit_'i : 'a -> unit -> Libelectrod.Ast.ident -> Libelectrod.Ast.ident