let is_bool_ltype ltype = match ltype with | Ctype (TInt (IBool, _)) | Ltype ({ lt_name = "boolean"; lt_params = []; lt_ctors = None; }, []) -> true | _ -> false