DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / typecheck / fail / private_clause.sail
123456
$option -dmagic_hash default Order dec $include <prelude.sail> function private foo() -> unit = ()