tree eaa628685ce4bbc4eaab38db18e38087e0e3b44d
parent 410c105d5d75504cb8b9b149c7e5a29e85c54cef
author jrperritt <jrperritt@gmail.com> 1478645890 -0600
committer jrperritt <jrperritt@gmail.com> 1478645890 -0600

ExtractInto*Ptr methods for Result