heiltala

English: integer · keywords · verilog

heiltala › heilt

Official documentation — devdocs.io search

Provenance

#15 primitive-types concept_map 2026-06-24 maps verilog/integer → concept integer
#28 sealion-refinement concept_map 2026-07-19 maps verilog/integer → concept integer winning layer

Concept integer

Brain 1.1.0-alpha.13 · Open in explorer → · Discuss on the NADA forum →