electrod.libelectrod
Libelectrod.Shortnames
Rename set/relations and atoms to short names (to reduce the size of generated files).
val rename_elo : bool -> Ast.t -> Ast.t
true ==> rename, otherwise, keep original names
true