Creates a read-only view of a Daf object to protect it against accidental modification.
Details
This function wraps a Daf object with a read-only interface to protect against accidental modification. Any attempt to modify the data will result in an error. The read-only wrapper can be efficiently created as it shares data with the original object. See the Julia documentation for details.