anchor.diff:      [<AutoOpen>]
       module Ops =
   
  +        let entityId (_ : uint64) = Unchecked.defaultof<'a>
           let tagged (_ : 'a) = Unchecked.defaultof<bool>
           let at (_ : 'a array) (_ : 'b) = Unchecked.defaultof<'a>
           let head (_ : 'a array) = Unchecked.defaultof<'a>
  
positive.code:             | (term, term2) -> Subquery.le term term2
          | If (predicate, consequent, alternate) ->
              match Subquery.eval terms predicate with
              | B b -> if b then Subquery.eval terms consequent else Subquery.eval terms alternate
              | Err _ as err -> err
              | _ -> Err "Invalid If predicate; B required."
          | GetX subquery ->
              match Subquery.eval terms subquery with V3 v -> F v.X | Err _ as err -> err | _ -> Err "Invalid GetX argument; V3 required."
          | GetY subquery ->
              match Subquery.eval terms subquery with V3 v -> F v.Y | Err _ as err -> err | _ -> Err "Invalid GetY argument; V3 required."
          | GetZ subquery ->
              match Subquery.eval terms subquery with V3 v -> F v.Z | Err _ as err -> err | _ -> Err "Invalid GetZ argument; V3 required."
          | GetPosition subquery ->
              match Subquery.eval terms subquery with Box3 box -> V3 box.Position | Err _ as err -> err | _ -> Err "Invalid GetPosition argument; Box3 required."
          | GetSize subquery ->
              match Subquery.eval terms subquery with Box3 box -> V3 box.Size | Err _ as err -> err | _ -> Err "Invalid GetSize argument; Box3 required."
          | Intersects (subquery, subquery2) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2) with
              | (Box3 box, Box3 box2) -> B (box.Intersects box2)
              | (V3 v, Box3 box) | (Box3 box, V3 v)-> B (box.Intersects v)
              | ((Err _ as err), _) -> err
              | (_, (Err _ as err)) -> err
              | (_, _) -> Err "Invalid Intersect arguments."
          | Or (subquery, subquery2) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2) with
              | (B b, B b2) -> B (b || b2)
              | ((Err _ as err), _) -> err
              | (_, (Err _ as err)) -> err
              | (_, _) -> Err "Invalid Or arguments; two B's required."
          | And (subquery, subquery2) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2) with
              | (B b, B b2) -> B (b && b2)
              | ((Err _ as err), _) -> err
              | (_, (Err _ as err)) -> err
              | (_, _) -> Err "Invalid And arguments; two B's required."
          | Not subquery ->
              match Subquery.eval terms subquery with
              | B b -> B (not b)
              | Err _ as err -> err
              | _ -> Err "Invalid Not argument; B required."
          | Val term ->
  
negative.code:         match subquery with
          | V3Ctor (subquery, subquery2, subquery3) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2, Subquery.eval terms subquery3) with
              | (Single x, Single y, Single z) -> V3 (v3 x y z)
              | ((Err _ as err), _, _) -> err
              | (_, (Err _ as err), _) -> err
              | (_, _, (Err _ as err)) -> err
  