Module `CCHSPO`

val mk_spo_manager : 
  string ->
  CCHPreTypes.podictionary_int ->
  CCHPreTypes.spo_manager_int