DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / typecheck / pass / outcome_int.sail
1234567891011
default Order dec $include <prelude.sail> outcome test : int('n) -> unit with 'n instantiation test with 'n = 32 function main() -> unit = { test(32) }