is_eq : _C16
:= [Standard(Name), Bright(Name)]Ansi 16 colors These colors can be customized, leading to variations across different terminals. Therefore, if your use case requires a consistent color palette, it's recommended to avoid using them.
to_hash : _name_to_code : Name -> U8Name
:= [Black, Red, Green, Yellow, Blue, Magenta, Cyan, White]