electrod.libelectrod
Libelectrod.Raw_to_ast
Tranforms raw ASTs into "massaged" ones (conforming to Elo).
val transfo : (Raw.raw_problem, Ast.t) Transfo.t
Determines the whole domain of the problem.