package electrod

  1. Overview
  2. Docs
package electrod
Legend:
Library
Module
Module type
Parameter
Class
Class type

Compared to Simplify1, this version maps qualified relations to formulas relying on cardinality arguments.

EXPECTED TO BE BE DONE AFTER CHECKING ARITIES.

module TS = Tuple_set
val fresh_var : string -> ('a, 'b) Gen_goal.exp -> Var.t
class simplify : object ... end
val run : Ast.t -> Ast.t
val transfo : (Ast.t, Ast.t) Transfo.t