} return mint } Objects in E are defined with the keyword, and within the object definition, the keyword begins each method. The guard expressions in this example illustrate how to specify a value constraint (as in or ). The mint example makes use of a built-in mechanism called a sealer. The function creates two associated objects, a sealer and an unsealer, such that the sealer can seal an object in a box and the unsealer is the only object that can retrieve the contents of the box. See the E website for a more detailed explanation of this money example. See also Object-capability model References External links Concurrent programming languages Object-oriented programming languages JVM programming languages Secure programming languages Dynamic programming languages Dynamically typed programming languages Capability systems Programming languages High-level programming languages Programming languages created in 1997 1997 software