fact: Definition m : list (string*(list Z->Prop)) := (between_cst, fun l => match l with l::u::x::nil => l <= x <= u | _ => False end):: (false_cst, fun _ => False):: (ge_cst, fun l => match l with u::x::nil => x <= u | _ => False end):: (le_cst, fun l => match l with l::x::nil => l <= x | _ => False end):: (true_cst, fun l => True)::nil.
imports: syntax little denot Bool List String ZArith axiom