26.8.1 eoffset

The standard function eoffset provides the following interface:

fun eoffset = (any val, string name) offset<uint<64>,b>

It returns the offset of the element having the given name in the given composite value. If the value doesn’t contain an element with the given name then the exception E_inval is raised.