DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / smt / linked_int.unsat.sail
123456
default Order dec $include <prelude.sail> $property function prop forall 'n. (x: int('n), y: int('n)) -> bool = x == y