Module RightHandSide


module RightHandSide: sig  end


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