Module importations in Maude

protecting ⟨ModuleExpression⟩ . 
extending ⟨ModuleExpression⟩ .
including ⟨ModuleExpression⟩ .
pr ⟨ModuleExpression⟩ . 
ex ⟨ModuleExpression⟩ .
inc ⟨ModuleExpression⟩ .
  • protecting mode shows no junk and no confusion.
  • extending mode is to allow junk, but to rule out confusion.
  • including mode is to allow junk and/or confusion.

References

--

--

--

Software engineer

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Creating Extension for VS-Code

Create a secure API with AdonisJS and Postgres — Part 1

Converting a Sorted Array to Binary Search Tree in Vanilla Javascript

Day 110 — Adding Analytics to the App

The Truth About React Native By React Native Developer

The Truth About React Native By React Native Developer

React Native ScrollView Expanding Item Animation

Building More Accessible Angular Apps

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Takanori Ishibashi

Takanori Ishibashi

Software engineer

More from Medium

[Codility] Passing Cars

A Byte of Coding Issue #206

How does C/C++ Program run Behind the Scene?

How I intend to go about learning how to code.