idris/
lib.rs

1pub trait Idris {
2    const COUNT: usize;
3    fn id(&self) -> usize;
4    fn name_from_id(id: usize) -> &'static str;
5}