var rav : { a: {}, b: (:{a: ( g : int)}:bool)}