Redirecting to
../../teaclave_types/struct.ExternalID.html
...