Dispatch on a set of value type parameters

General Usage
4

The solution would be to use StaticNumbers and include m as a field in struct T something like this:

struct T{m}
  some_fields
  mm::StaticInteger{m}
end

Note:

julia> Base.issingletontype(StaticInteger{3})
true
1 Like