|
|
|---|
|
|
|
|---|
Fixtype of information associated to an ACL2 defobject symbol translated to a C external object.
This is a product type introduced by fty::defprod.
For now this is just a wrapper of defobject-info, but we may extend it with more ATC-specific information in the future.