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

start :: fn {
5 <=> 1 * 2 + 3
}