export type op_circle = pos; export type op_other = void; export type op = (op_circle| op_other);