sig
  type ('a, 'b) rhs =
      Empty_rhs
    | Parameter of int
    | Symbol of 'a * int * ('a, 'b) RightHandSide.rhs list
    | Call of 'b * int * int * ('a, 'b) RightHandSide.rhs list
end