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
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