fact: Record operations (A : Type) : Type := { constant : Z -> A ; unknown : A ; unary : unary_op -> A -> A ; binary : binary_op -> A -> A -> A ; sign : A -> Xcomparison }.
imports: Coq(ZArith Reals List Psatz) Xreal Tree