Module Transformations.Query

Simplification via simple queries. This functor is often inlined for efficiency, as in Product.ClassicalQueryLeft or Numeric.ClassicalQuery.

Its command line id is Q.

type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
val id : string

Command line identifier

val doc : string

Command line documentation

The actual transformation functor