{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE TypeSynonymInstances #-}

import Tests.Cardano.Ledger.NonIntegral

main :: IO ()
IO ()
main = do
  IO ()
property_negative_taylorExpCmp_comparison
  IO ()
property_exponential_is_monotonic_db
  IO ()
property_logarithm_is_monotonic_db
  IO ()
property_exp_maps_unit_interval_to_unit_interval_db
  IO ()
property_exp_of_ln_db
  IO ()
property_ln_of_exp_db
  IO ()
property_power_diff_db
  IO ()
property_exponential_law_db
  IO ()
property_log_law_db
  IO ()
property_log_power_db
  IO ()
property_bound_findE_db
  IO ()
prop_exp_is_monotonic_fp
  IO ()
prop_log_is_monotonic_fp
  IO ()
property_exp_maps_unit_interval_to_unit_interval_fp
  IO ()
property_exp_of_ln_fp
  IO ()
property_ln_of_exp_fp
  IO ()
property_power_diff_fp
  IO ()
property_exponential_law_fp
  IO ()
property_log_law_fp
  IO ()
property_log_power_fp
  IO ()
property_bound_findE_fp
  IO ()
property_praos_leader_comparison
  IO ()
prop_exp_is_monotonic_q
  IO ()
prop_log_is_monotonic_q
  IO ()
property_exp_maps_unit_interval_to_unit_interval_q
  IO ()
property_exp_of_ln_q
  IO ()
property_ln_of_exp_q
  IO ()
property_power_diff_q
  IO ()
property_exponential_law_q
  IO ()
property_log_law_q
  IO ()
property_log_power_q
  IO ()
property_bound_findE_q