with core; package effect is ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ type codex is ( none, one ); ------------------------------------------------------------------------------------------ type information is record name : core.short_string; make : boolean; end record; type trait_array is array (codex) of information; ------------------------------------------------------------------------------------------ count : constant natural := codex'pos (codex'last) + 1; trait : constant trait_array := ( ("- ", true), ("- ", true) ); ------------------------------------------------------------------------------------------ procedure draw (value : in codex; x, y : in integer); ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ end effect;