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