package electrod

You can search for identifiers within the package.

in-package search v0.2.0

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

package electrod

Class Simplify2.simplifySource

Class `Simplify2.simplify`Source