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