path: root/progs/tests/auto/one_arg.sy

start :: fn {
f := fn a:int { a <=> 1 }
 f! 1

}