DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / smt / trivial_funcall.sat.sail
12345678910
default Order dec $include <flow.sail> function f((): unit) -> bool = false $property function prop((): unit) -> bool = { f() }