let inspect_ast_member_def (mem : Ast.member_def) = match mem with
    | VarMem(vmem) -> Printf.sprintf "VarMem(%s)" (inspect_ast_var_def vmem)
    | MethodMem(mmem) -> Printf.sprintf "MethodMem(%s)" (inspect_ast_func_def mmem)
    | InitMem(imem) -> Printf.sprintf "InitMem(%s)" (inspect_ast_func_def imem)