$abstract("partial-order") int f();