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