Module mice::backend_support::type_level

source · [−]
Expand description

Type level reification of stuff. Just Target for now. We use this in place of full const generics.

Modules

Target

A type level reification of Target.