These can be useful for models requiring implicit feature conversion a "primitive" type
to an option of that type. This is most useful for when we need to be able to supply a
default feature value without knowing anything about the type. If the type is in a context
then the zero element for the context can be used without additional information about the
inner type.
This definition allows the feature author to be sloppy about types so there is no blanket
method:
These can be useful for models requiring implicit feature conversion a "primitive" type to an option of that type. This is most useful for when we need to be able to supply a default feature value without knowing anything about the type. If the type is in a context then the zero element for the context can be used without additional information about the inner type.
This definition allows the feature author to be sloppy about types so there is no blanket method: