partial_frame<
  x: integer {partial}
  y: double
>
