let
get_bases map =
(
M
.fold (
fun
k _ acc
->
Top_Param
.
O
.add k acc) map
Top_Param
.
O
.empty)