There are several OTP modules where the types returned by exported functions are defined but not exported themselves. An example of them are the following types from the supervisor module, though there are serveral more:<div>
<br></div><div>-type startlink_err() :: {'already_started', pid()} | 'shutdown' | term().</div><div>-type startlink_ret() :: {'ok', pid()} | 'ignore' | {'error', startlink_err()}.</div>
<div><br></div><div>Would it be possible to export them? Would a patch that does this be accepted?</div><div><br></div><div>Juanjo</div><div>   </div>