Module `CCHPPO`

val mk_ppo_manager : 
  string ->
  CCHPreTypes.podictionary_int ->
  CCHPreTypes.ppo_manager_int