Code from yalsat (stochastic SAT solver) [1] made me learn something two years ago. I can declare an array of some elements and make access to elements statical

Code from yalsat (stochastic SAT solver) [1] made me learn something two years ago. I can declare an array of some elements and make access to elements statically typed. Same with maps, sets and others. [1] https://github.com/msoos/yalsat/blob/main/yals.c#L49 https://github.com/msoos/yalsat/blob/main/yals.c#L49