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

--

--

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