Map<int, bitvec<32>> does not parse

[enjhnsn2]

I would like to define a flux definition:

flux_rs::defs! {
    fn bv_map_get(m: Map<int, bitvec<32>>, k:int) -> bitvec<32> { map_select(m, k) }
}

but it fails with the error:

error[E0999]: syntax error: unexpected token
  --> src/main.rs:50:37
   |
50 |     fn map_get(m: Map<int, bitvec<32>>, k:int) -> bitvec<32> { map_select(m, k) }
   |                                     ^