logseq/pages/hls__Maude-3.2.1-manual_1701275134294_0.md

file:: Maude-3.2.1-manual_1701275134294_0.pdf file-path:: ../assets/Maude-3.2.1-manual_1701275134294_0.pdf

• The predefined module CONFIGURATION in the file prelude.maude provides basic sorts and constructors for modeling object-based systems ls-type:: annotation hl-page:: 225 hl-color:: green id:: 65676611-291e-4ef1-b5bc-8d4f6caf0325
• Random numbers and counters ls-type:: annotation hl-page:: 166 hl-color:: green id:: 6567666b-df63-40c5-92c6-a00c0afcd2e5