trunk/query/query.mli


type 'a boolFormula =
          True
        | False
        | Varb of 'a
        | Not of 'a boolFormula
        | Ou of 'a boolFormula * 'a boolFormula
        | Et of 'a boolFormula * 'a boolFormula
        | Im of 'a boolFormula * 'a boolFormula
        | OuN of 'a boolFormula list
        | EtN of 'a boolFormula list

val nooptim: bool ref 

val select : (int * int) * Ast.pexpr * (Ast.ppat * Ast.pexpr)list -> Ast.pexpr 
val selectOpt : (int * int) * Ast.pexpr * (Ast.ppat * Ast.pexpr)list * Ast.pexpr boolFormula -> Ast.pexpr 
val ast_of_bool : Ast.pexpr boolFormula * (int * int ) -> Ast.pexpr 


1	abate	819
2			type 'a boolFormula =
3			True
4			\| False
5			\| Varb of 'a
6			\| Not of 'a boolFormula
7			\| Ou of 'a boolFormula * 'a boolFormula
8			\| Et of 'a boolFormula * 'a boolFormula
9			\| Im of 'a boolFormula * 'a boolFormula
10			\| OuN of 'a boolFormula list
11			\| EtN of 'a boolFormula list
12
13			val nooptim: bool ref
14
15			val select : (int * int) * Ast.pexpr * (Ast.ppat * Ast.pexpr)list -> Ast.pexpr
16			val selectOpt : (int * int) * Ast.pexpr * (Ast.ppat * Ast.pexpr)list * Ast.pexpr boolFormula -> Ast.pexpr
17			val ast_of_bool : Ast.pexpr boolFormula * (int * int ) -> Ast.pexpr
18
19