Up – Package index » electrod » Library electrod.libelectrod » Libelectrod » Simplify2 » simplify

Class `Simplify2.simplify`Source

inherit Libelectrod.Simplify1.simplify

method visit_Qual : unit ->
  Libelectrod.Gen_goal.rqualify ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.exp ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml