Physlib.Meta.Remark.Properties

Within a monad $m$ that has access to the global environment, this definition retrieves the collection of all `RemarkInfo` metadata objects currently stored in the persistent environment extension `remarkExtension`, returning them as an array.

Given an object $r$ of type `RemarkInfo`, which stores metadata for a "remark" in the library, this function computes its complete hierarchical identifier. If the remark is associated with a non-anonymous namespace, the full name is constructed by appending the remark's name to that namespace. Otherwise, the function returns the name of the remark itself.

Given a name $n$ and working within a monad $m$ that has access to the global environment, this function determines if $n$ corresponds to a "remark" in the library. It searches through the metadata of all registered remarks and returns `true` if it finds a remark $r$ whose full name is equal to $n$, and `false` otherwise.

Within a monad $m$ with access to the global environment, this function retrieves the metadata structure `RemarkInfo` associated with a given identifier $n$ of type `Name`. It searches the collection of all remarks currently stored in the environment and returns the specific `RemarkInfo` object $r$ whose full hierarchical name matches $n$. If no remark with the name $n$ is found, the function throws an error.