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