diff options
| -rw-r--r-- | rego-proofs/compiler-rewrite/bin/main.ml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/rego-proofs/compiler-rewrite/bin/main.ml b/rego-proofs/compiler-rewrite/bin/main.ml index ca6fa62..b1a7f4d 100644 --- a/rego-proofs/compiler-rewrite/bin/main.ml +++ b/rego-proofs/compiler-rewrite/bin/main.ml @@ -52,30 +52,12 @@ and term = Ref of reference | ObjectComprehension of (object_key * term) * query | SetComprehension of term * query [@@deriving show] -and infix_operator = BoolEq - | BoolNot - | BoolLt - | BoolGt - | BoolGeq - | BoolLeq - | ArithAdd - | ArithSub - | ArithMul - | ArithDiv - | BinAnd - | BinOr - | Assign - | Unify -[@@deriving show] and every_item = Term of term | Call of (string list) * (term list) - | Infix of expr * infix_operator * expr [@@deriving show] and expr = Term of term | Call of reference * (term list) - | Infix of expr * infix_operator * expr | Every of (string list) * every_item * query - | Unary of expr (* Has to be unary negation *) [@@deriving show] and literal = expr * ((term * term) option) (* "with" modifier *) [@@deriving show] |