pkg encoding/json, type Number string
pkg encoding/xml, const Header = "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n"
pkg encoding/xml, func EscapeText(io.Writer, []uint8) error
pkg encoding/xml, method (*Encoder) Indent(string, string)
pkg encoding/xml, type Decoder struct, DefaultSpace string
pkg flag, const ContinueOnError = 0
pkg flag, const ExitOnError = 1
pkg flag, const PanicOnError = 2
pkg go/ast, const Bad = 0

/home/coq/fiat-crypto/src/ExtractionOCaml:$PATH golang.org/fips140@v1.26.0/fips140/v1.26.0/nistec/fiat/README The code in this package was autogenerated by the fiat-crypto project at version v0.0.9 from a formally verified model, and by the addchain project at a recent tip version. docker build -t fiat-crypto:v0.0.9 . go install github.com/mmcloughlin/addchain/cmd/addchain@v0.3.1-0.20211027081849-6a7d3decbe08 ../../../.bin/go run generate.go fiat-crypto code comes under the following license. Copyright (c) 2015-2020...

tionOCaml:$PATH golang.org/fips140@v1.0.0-c2097c7c/fips140/v1.0.0-c2097c7c/nistec/fiat/README The code in this package was autogenerated by the fiat-crypto project at version v0.0.9 from a formally verified model, and by the addchain project at a recent tip version. docker build -t fiat-crypto:v0.0.9 . go install github.com/mmcloughlin/addchain/cmd/addchain@v0.3.1-0.20211027081849-6a7d3decbe08 ../../../.bin/go run generate.go fiat-crypto code comes under the following license. Copyright (c) 2015-2020...