Documentation

d_CekM_26 :: () -> T_MachineParameters_46 -> () -> () #

d_spend_28 :: () -> T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_364 #

du_spend_28 :: T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_364 #

d_spendStartupCost_32 :: () -> T_MachineParameters_46 -> T_Writer_364 #

du_spendStartupCost_32 :: T_MachineParameters_46 -> T_Writer_364 #

d_extractConstants_48 :: () -> T_MachineParameters_46 -> T_Builtin_2 -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8724'_'8803'__180 -> T_BApp_42 -> T_Vec_28 #

du_extractConstants_48 :: T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> T_BApp_42 -> T_Vec_28 #

d_spendBuiltin_58 :: () -> T_MachineParameters_46 -> T_Builtin_2 -> T_BApp_42 -> T_Writer_364 #

du_spendBuiltin_58 :: T_MachineParameters_46 -> T_Builtin_2 -> T_BApp_42 -> T_Writer_364 #

d_argsizes_68 :: () -> T_MachineParameters_46 -> T_Builtin_2 -> T_BApp_42 -> T_Vec_28 #

du_argsizes_68 :: T_Builtin_2 -> T_BApp_42 -> T_Vec_28 #

d_stepC_70 :: () -> T_MachineParameters_46 -> T_State_218 -> T_Writer_364 #

du_stepC_70 :: T_MachineParameters_46 -> T_State_218 -> T_Writer_364 #

d_stepperC'45'internal_314 :: () -> T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_364 #

du_stepperC'45'internal_314 :: T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_364 #

d_go_328 :: () -> T_MachineParameters_46 -> Integer -> T_State_218 -> T_State_218 -> T_Writer_364 #

du_go_328 :: T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_364 #

d_stepperC_338 :: () -> T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_364 #

du_stepperC_338 :: T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_364 #

d_cekStepEquivalence_346 :: () -> T_MachineParameters_46 -> T_State_218 -> T__'8801'__12 #

d_cekStepperEquivalence_472 :: () -> T_MachineParameters_46 -> Integer -> T_State_218 -> T__'8801'__12 #