Mock Version: 6.0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-h/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fda1e47fe90>timeout=0uid=1000gid=135user='mockbuild'unshare_net=TrueprintOutput=Truenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yathjyr7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yathjyr7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'cc75c185faa54d05804214bbb2539e61', '-D', '/var/lib/mock/fedora-rawhide-x86_64-h/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yathjyr7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1736985600
Wrote: /builddir/build/SRPMS/ghc-what4-1.5.1-4.fc42.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', "/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps --define '__spec_check_template exit 0; ' /builddir/build/SPECS/ghc-what4.spec"], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-h/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fda1e47fe90>timeout=0uid=1000gid=135user='mockbuild'unshare_net=TrueprintOutput=Truenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yathjyr7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yathjyr7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '96b5ae6eb8fe4d3abaa38dc8eab91e44', '-D', '/var/lib/mock/fedora-rawhide-x86_64-h/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yathjyr7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', "/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps --define '__spec_check_template exit 0; ' /builddir/build/SPECS/ghc-what4.spec"] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1736985600
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.ooq81q
+ umask 022
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ test -d /builddir/build/BUILD/ghc-what4-1.5.1-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ghc-what4-1.5.1-build
+ /usr/bin/rm -rf /builddir/build/BUILD/ghc-what4-1.5.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.f2X6EP
+ umask 022
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ rm -rf what4-1.5.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/what4-1.5.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd what4-1.5.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.DQdkTc
+ umask 022
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs  -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd what4-1.5.1
++ ls
++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
==== Build what4-1.5.1 ====
+ '[' -f CHANGES.md -a -x CHANGES.md ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f README.md -a -x README.md ']'
+ echo -e '\n==== Build what4-1.5.1 ===='
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ cp /usr/share/ghc-rpm-macros/Setup.hs .
+ '[' -d /usr/lib64/ghc-9.6.6/lib ']'
+ subsubdir=/lib
+ '[' -x Setup ']'
+ ghc --make -package Cabal -no-user-package-db -dynamic Setup
[1 of 2] Compiling Main             ( Setup.hs, Setup.o )
[2 of 2] Linking Setup
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1
++ sed -e 's/ / -optl/g'
+ ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/ghc-what4 '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --global '--ghc-options=-fhide-source-paths  -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-m64 -optc-march=x86-64 -optc-mtune=generic -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fcf-protection -optc-mtls-dialect=gnu2 -optc-fno-omit-frame-pointer -optc-mno-omit-leaf-frame-pointer  -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,-z,pack-relative-relocs -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1' --enable-library-profiling --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/what4-1.5.1 --global
Configuring what4-1.5.1...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j64
Preprocessing library for what4-1.5.1..
Building library for what4-1.5.1..
[ 1 of 87] Compiling Test.Verification
[ 2 of 87] Compiling What4.BaseTypes
[ 3 of 87] Compiling What4.FloatMode
[ 4 of 87] Compiling What4.FunctionName
[ 5 of 87] Compiling What4.IndexLit
[ 6 of 87] Compiling What4.Panic
[ 7 of 87] Compiling What4.ProblemFeatures
[ 8 of 87] Compiling What4.ProgramLoc
[ 9 of 87] Compiling What4.Protocol.PolyRoot
[10 of 87] Compiling What4.Protocol.ReadDecimal
[11 of 87] Compiling What4.Protocol.SExp
[12 of 87] Compiling What4.Protocol.SMTLib2.Parse
[13 of 87] Compiling What4.Protocol.SMTLib2.Syntax
[14 of 87] Compiling What4.SatResult
[15 of 87] Compiling What4.SemiRing
[16 of 87] Compiling What4.Serialize.Log
[17 of 87] Compiling What4.Serialize.SETokens
[18 of 87] Compiling What4.Serialize.FastSExpr
[19 of 87] Compiling What4.SpecialFunctions
[20 of 87] Compiling What4.Symbol
[21 of 87] Compiling What4.Utils.AnnotatedMap
[22 of 87] Compiling What4.Utils.Arithmetic
[23 of 87] Compiling What4.Utils.BVDomain.Arith
[24 of 87] Compiling What4.Utils.BVDomain.Bitwise
[25 of 87] Compiling What4.Utils.BVDomain.XOR
[26 of 87] Compiling What4.Utils.BVDomain
[27 of 87] Compiling What4.Utils.Complex
[28 of 87] Compiling What4.Utils.Endian
[29 of 87] Compiling What4.Utils.Environment
[30 of 87] Compiling What4.Utils.FloatHelpers
[31 of 87] Compiling What4.Utils.HandleReader
[32 of 87] Compiling What4.Utils.IncrHash
[33 of 87] Compiling What4.Expr.BoolMap
[34 of 87] Compiling What4.Utils.LeqMap
[35 of 87] Compiling What4.Utils.MonadST
[36 of 87] Compiling What4.Utils.OnlyIntRepr
[37 of 87] Compiling What4.Utils.Streams
[38 of 87] Compiling What4.Utils.Versions
[39 of 87] Compiling What4.Utils.Word16String
[40 of 87] Compiling What4.Utils.StringLiteral
[41 of 87] Compiling What4.Utils.AbstractDomains
[42 of 87] Compiling What4.Expr.WeightedSum
[43 of 87] Compiling What4.Expr.ArrayUpdateMap
[44 of 87] Compiling What4.Concrete
[45 of 87] Compiling What4.Config
[46 of 87] Compiling What4.Utils.Process
[47 of 87] Compiling What4.Interface
[48 of 87] Compiling What4.Utils.Serialize
[49 of 87] Compiling What4.SWord
[50 of 87] Compiling What4.SFloat
[51 of 87] Compiling What4.Partial
[52 of 87] Compiling What4.LabeledPred
[53 of 87] Compiling What4.InterpretedFloatingPoint
[54 of 87] Compiling What4.Expr.UnaryBV
[55 of 87] Compiling What4.Expr.StringSeq
[56 of 87] Compiling What4.Expr.MATLAB
[57 of 87] Compiling What4.Expr.App
[58 of 87] Compiling What4.Expr.AppTheory
[59 of 87] Compiling What4.Expr.VarIdentification
[60 of 87] Compiling What4.Expr.Allocator
[61 of 87] Compiling What4.Expr.Builder
[62 of 87] Compiling What4.Protocol.VerilogWriter.AST
[63 of 87] Compiling What4.Protocol.VerilogWriter.Backend
[64 of 87] Compiling What4.Protocol.VerilogWriter.ABCVerilog
[65 of 87] Compiling What4.Protocol.VerilogWriter
[66 of 87] Compiling What4.Expr.Simplify
[67 of 87] Compiling What4.Expr.GroundEval
[68 of 87] Compiling What4.Solver.Adapter
[69 of 87] Compiling What4.Protocol.SMTWriter
[70 of 87] Compiling What4.Protocol.SMTLib2.Response
[71 of 87] Compiling What4.Expr
[72 of 87] Compiling What4.Serialize.Printer
[73 of 87] Compiling What4.Serialize.Parser
[74 of 87] Compiling What4.Serialize.Normalize
[75 of 87] Compiling What4.Protocol.Online
[76 of 87] Compiling What4.Utils.ResolveBounds.BV
[77 of 87] Compiling What4.Protocol.SMTLib2
[78 of 87] Compiling What4.Solver.Z3
[79 of 87] Compiling What4.Solver.Yices
[80 of 87] Compiling What4.Solver.STP
[81 of 87] Compiling What4.Solver.ExternalABC
[82 of 87] Compiling What4.Solver.DReal
[83 of 87] Compiling What4.Solver.CVC5
[84 of 87] Compiling What4.Solver.CVC4
[85 of 87] Compiling What4.Solver.Boolector
[86 of 87] Compiling What4.Solver
[87 of 87] Compiling What4.WordMap
[ 1 of 87] Compiling Test.Verification
[ 2 of 87] Compiling What4.BaseTypes
[ 3 of 87] Compiling What4.FloatMode
[ 4 of 87] Compiling What4.FunctionName
[ 5 of 87] Compiling What4.IndexLit
[ 6 of 87] Compiling What4.Panic
[ 7 of 87] Compiling What4.ProblemFeatures
[ 8 of 87] Compiling What4.ProgramLoc
[ 9 of 87] Compiling What4.Protocol.PolyRoot
[10 of 87] Compiling What4.Protocol.ReadDecimal
[11 of 87] Compiling What4.Protocol.SExp
[12 of 87] Compiling What4.Protocol.SMTLib2.Parse
[13 of 87] Compiling What4.Protocol.SMTLib2.Syntax
[14 of 87] Compiling What4.SatResult
[15 of 87] Compiling What4.SemiRing
[16 of 87] Compiling What4.Serialize.Log
[17 of 87] Compiling What4.Serialize.SETokens
[18 of 87] Compiling What4.Serialize.FastSExpr
[19 of 87] Compiling What4.SpecialFunctions
[20 of 87] Compiling What4.Symbol
[21 of 87] Compiling What4.Utils.AnnotatedMap
[22 of 87] Compiling What4.Utils.Arithmetic
[23 of 87] Compiling What4.Utils.BVDomain.Arith
[24 of 87] Compiling What4.Utils.BVDomain.Bitwise
[25 of 87] Compiling What4.Utils.BVDomain.XOR
[26 of 87] Compiling What4.Utils.BVDomain
[27 of 87] Compiling What4.Utils.Complex
[28 of 87] Compiling What4.Utils.Endian
[29 of 87] Compiling What4.Utils.Environment
[30 of 87] Compiling What4.Utils.FloatHelpers
[31 of 87] Compiling What4.Utils.HandleReader
[32 of 87] Compiling What4.Utils.IncrHash
[33 of 87] Compiling What4.Expr.BoolMap
[34 of 87] Compiling What4.Utils.LeqMap
[35 of 87] Compiling What4.Utils.MonadST
[36 of 87] Compiling What4.Utils.OnlyIntRepr
[37 of 87] Compiling What4.Utils.Streams
[38 of 87] Compiling What4.Utils.Versions
[39 of 87] Compiling What4.Utils.Word16String
[40 of 87] Compiling What4.Utils.StringLiteral
[41 of 87] Compiling What4.Utils.AbstractDomains
[42 of 87] Compiling What4.Expr.WeightedSum
[43 of 87] Compiling What4.Expr.ArrayUpdateMap
[44 of 87] Compiling What4.Concrete
[45 of 87] Compiling What4.Config
[46 of 87] Compiling What4.Utils.Process
[47 of 87] Compiling What4.Interface
[48 of 87] Compiling What4.Utils.Serialize
[49 of 87] Compiling What4.SWord
[50 of 87] Compiling What4.SFloat
[51 of 87] Compiling What4.Partial
[52 of 87] Compiling What4.LabeledPred
[53 of 87] Compiling What4.InterpretedFloatingPoint
[54 of 87] Compiling What4.Expr.UnaryBV
[55 of 87] Compiling What4.Expr.StringSeq
[56 of 87] Compiling What4.Expr.MATLAB
[57 of 87] Compiling What4.Expr.App
[58 of 87] Compiling What4.Expr.AppTheory
[59 of 87] Compiling What4.Expr.VarIdentification
[60 of 87] Compiling What4.Expr.Allocator
[61 of 87] Compiling What4.Expr.Builder
[62 of 87] Compiling What4.Protocol.VerilogWriter.AST
[63 of 87] Compiling What4.Protocol.VerilogWriter.Backend
[64 of 87] Compiling What4.Protocol.VerilogWriter.ABCVerilog
[65 of 87] Compiling What4.Protocol.VerilogWriter
[66 of 87] Compiling What4.Expr.Simplify
[67 of 87] Compiling What4.Expr.GroundEval
[68 of 87] Compiling What4.Solver.Adapter
[69 of 87] Compiling What4.Protocol.SMTWriter
[70 of 87] Compiling What4.Protocol.SMTLib2.Response
[71 of 87] Compiling What4.Expr
[72 of 87] Compiling What4.Serialize.Printer
[73 of 87] Compiling What4.Serialize.Parser
[74 of 87] Compiling What4.Serialize.Normalize
[75 of 87] Compiling What4.Protocol.Online
[76 of 87] Compiling What4.Utils.ResolveBounds.BV
[77 of 87] Compiling What4.Protocol.SMTLib2
[78 of 87] Compiling What4.Solver.Z3
[79 of 87] Compiling What4.Solver.Yices
[80 of 87] Compiling What4.Solver.STP
[81 of 87] Compiling What4.Solver.ExternalABC
[82 of 87] Compiling What4.Solver.DReal
[83 of 87] Compiling What4.Solver.CVC5
[84 of 87] Compiling What4.Solver.CVC4
[85 of 87] Compiling What4.Solver.Boolector
[86 of 87] Compiling What4.Solver
[87 of 87] Compiling What4.WordMap
Preprocessing executable 'quickstart' for what4-1.5.1..
Building executable 'quickstart' for what4-1.5.1..
[1 of 1] Compiling Main
[2 of 2] Linking dist/build/quickstart/quickstart
+ '[' -n dist/build/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for what4-1.5.1..
Running Haddock on library for what4-1.5.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: BoundedChan-1.0.3.0,
OneTuple-0.4.2, StateVar-1.2.2, adjunctions-4.4.2, array-0.5.6.0, assoc-1.1.1,
async-2.2.5, attoparsec-0.14.4, attoparsec-0.14.4, base-4.18.2.1,
base-compat-0.13.1, base-orphans-0.9.2, bifunctors-5.6.2, bimap-0.5.0,
binary-0.8.9.1, bitwise-1.0.0.1, boring-0.2.2, bv-sized-1.0.5,
bytestring-0.11.5.3, call-stack-0.4.0, case-insensitive-1.2.1.0,
comonad-5.0.8, concurrent-extra-0.7.0.12, config-value-0.8.3,
constraints-0.14.2, containers-0.6.7, contravariant-1.5.5, deepseq-1.4.8.1,
deriving-compat-0.6.6, directory-1.3.8.5, distributive-0.6.2.1,
exceptions-0.10.7, filepath-1.4.300.1, fingertree-0.1.5.0, free-5.2,
ghc-bignum-1.3, ghc-boot-th-9.6.6, ghc-prim-0.10.0, gitrev-1.3.1,
hashable-1.4.4.0, hashtables-1.3.1, indexed-traversable-0.1.4,
indexed-traversable-instances-0.1.2, integer-logarithms-1.0.3.1,
invariant-0.6.3, io-streams-1.5.2.2, kan-extensions-5.2.6, lens-5.2.3,
libBF-0.6.8, megaparsec-9.5.0, mtl-2.3.1, network-3.1.4.0,
ordered-containers-0.2.4, os-string-2.0.6, panic-0.4.0.1, parallel-3.2.2.0,
parameterized-utils-2.1.8.0, parsec-3.1.16.1, parser-combinators-1.3.0,
pretty-1.1.3.6, prettyprinter-1.7.1, primitive-0.8.0.0, process-1.6.19.0,
profunctors-5.6.2, random-1.2.1.2, reflection-2.1.8, s-cargot-0.1.6.0,
safe-exceptions-0.1.7.4, scientific-0.3.7.0, semigroupoids-6.0.1,
semigroups-0.20, splitmix-0.1.0.5, stm-2.5.1.0, strict-0.5, tagged-0.8.8,
template-haskell-2.20.0.0, temporary-1.3, text-2.0.2, th-abstraction-0.5.0.0,
th-lift-0.8.4, th-lift-instances-0.1.20, these-1.2.1, time-1.12.2,
transformers-0.6.1.0, transformers-base-0.4.6, transformers-compat-0.7.2,
unbounded-delays-0.1.1.1, unix-2.8.4.0, unliftio-0.2.25.0,
unliftio-core-0.2.1.0, unordered-containers-0.2.20, utf8-string-1.0.2,
vector-0.13.1.0, vector-stream-0.1.0.1, versions-6.0.7, void-0.7.3,
zenc-0.1.2, zlib-0.6.3.0, zlib-bindings-0.1.1.5
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
Warning: 'a' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% ( 18 / 18) in 'Test.Verification'
Warning: What4.BaseTypes: Could not find documentation for exported module: Data.Parameterized.NatRepr
Warning: Couldn't find .haddock for export KnownRepr
  43% ( 18 / 41) in 'What4.BaseTypes'
  Missing documentation for:
    BaseBoolType (src/What4/BaseTypes.hs:142)
    BaseIntegerType (src/What4/BaseTypes.hs:143)
    BaseRealType (src/What4/BaseTypes.hs:144)
    BaseStringType (src/What4/BaseTypes.hs:147)
    BaseBVType (src/What4/BaseTypes.hs:145)
    BaseFloatType (src/What4/BaseTypes.hs:146)
    BaseComplexType (src/What4/BaseTypes.hs:148)
    BaseStructType (src/What4/BaseTypes.hs:149)
    BaseArrayType (src/What4/BaseTypes.hs:150)
    StringInfo (src/What4/BaseTypes.hs:98)
    Char8 (src/What4/BaseTypes.hs:107)
    Char16 (src/What4/BaseTypes.hs:108)
    Unicode (src/What4/BaseTypes.hs:109)
    FloatingPointPrecision (src/What4/BaseTypes.hs:158)
    Prec32 (src/What4/BaseTypes.hs:166)
    Prec64 (src/What4/BaseTypes.hs:167)
    Prec80 (src/What4/BaseTypes.hs:168)
    Prec128 (src/What4/BaseTypes.hs:169)
    FloatPrecisionRepr (src/What4/BaseTypes.hs:193)
    StringInfoRepr (src/What4/BaseTypes.hs:200)
    floatPrecisionToBVType (src/What4/BaseTypes.hs:214)
    lemmaFloatPrecisionIsPos (src/What4/BaseTypes.hs:221)
    KnownRepr
  83% (  5 /  6) in 'What4.FloatMode'
  Missing documentation for:
    FloatModeRepr (src/What4/FloatMode.hs:56)
  66% (  4 /  6) in 'What4.FunctionName'
  Missing documentation for:
    functionName (src/What4/FunctionName.hs:31)
    functionNameFromText (src/What4/FunctionName.hs:47)
  33% (  1 /  3) in 'What4.IndexLit'
  Missing documentation for:
    Module header
    hashIndexLit (src/What4/IndexLit.hs:51)
Warning: Couldn't find .haddock for export HasCallStack
Warning: Couldn't find .haddock for export Panic
  20% (  1 /  5) in 'What4.Panic'
  Missing documentation for:
    Module header
    HasCallStack
    What4 (src/What4/Panic.hs:8)
    Panic
  95% ( 19 / 20) in 'What4.ProblemFeatures'
  Missing documentation for:
    noFeatures (src/What4/ProblemFeatures.hs:60)
  46% (  6 / 13) in 'What4.ProgramLoc'
  Missing documentation for:
    Position (src/What4/ProgramLoc.hs:48)
    sourcePos (src/What4/ProgramLoc.hs:68)
    startOfFile (src/What4/ProgramLoc.hs:71)
    ppNoFileName (src/What4/ProgramLoc.hs:85)
    plFunction (src/What4/ProgramLoc.hs:111)
    plSourceLoc (src/What4/ProgramLoc.hs:112)
    HasProgramLoc (src/What4/ProgramLoc.hs:129)
  60% (  3 /  5) in 'What4.Protocol.PolyRoot'
  Missing documentation for:
    Root (src/What4/Protocol/PolyRoot.hs:114)
    parseYicesRoot (src/What4/Protocol/PolyRoot.hs:182)
Warning: '?' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  50% (  1 /  2) in 'What4.Protocol.ReadDecimal'
  Missing documentation for:
    Module header
Warning: 'readString' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  30% (  3 / 10) in 'What4.Protocol.SExp'
  Missing documentation for:
    Module header
    SExp (src/What4/Protocol/SExp.hs:49)
    stringToSExp (src/What4/Protocol/SExp.hs:89)
    asAtomList (src/What4/Protocol/SExp.hs:108)
    asNegAtomList (src/What4/Protocol/SExp.hs:99)
    skipSpaceOrNewline (src/What4/Protocol/SExp.hs:39)
    sExpToString (src/What4/Protocol/SExp.hs:116)
  68% ( 13 / 19) in 'What4.Protocol.SMTLib2.Parse'
  Missing documentation for:
    DefineFun (src/What4/Protocol/SMTLib2/Parse.hs:477)
    Bool (src/What4/Protocol/SMTLib2/Parse.hs:342)
    Int (src/What4/Protocol/SMTLib2/Parse.hs:345)
    Real (src/What4/Protocol/SMTLib2/Parse.hs:348)
    RoundingMode (src/What4/Protocol/SMTLib2/Parse.hs:351)
    Array (src/What4/Protocol/SMTLib2/Parse.hs:354)
Warning: 't1' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 't2' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'c' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  94% (124 /131) in 'What4.Protocol.SMTLib2.Syntax'
  Missing documentation for:
    getVersion (src/What4/Protocol/SMTLib2/Syntax.hs:908)
    getName (src/What4/Protocol/SMTLib2/Syntax.hs:911)
    getErrorBehavior (src/What4/Protocol/SMTLib2/Syntax.hs:914)
    Symbol (src/What4/Protocol/SMTLib2/Syntax.hs:209)
    getUnsatAssumptions (src/What4/Protocol/SMTLib2/Syntax.hs:835)
    getUnsatCore (src/What4/Protocol/SMTLib2/Syntax.hs:838)
    builder_list (src/What4/Protocol/SMTLib2/Syntax.hs:179)
  14% (  1 /  7) in 'What4.SatResult'
  Missing documentation for:
    SatResult (src/What4/SatResult.hs:24)
    isSat (src/What4/SatResult.hs:39)
    isUnsat (src/What4/SatResult.hs:43)
    isUnknown (src/What4/SatResult.hs:47)
    forgetModelAndCore (src/What4/SatResult.hs:51)
    traverseSatResult (src/What4/SatResult.hs:30)
  34% ( 12 / 35) in 'What4.SemiRing'
  Missing documentation for:
    SemiRingInteger (src/What4/SemiRing.hs:98)
    SemiRingReal (src/What4/SemiRing.hs:99)
    SemiRingBV (src/What4/SemiRing.hs:100)
    BVBits (src/What4/SemiRing.hs:96)
    BVArith (src/What4/SemiRing.hs:95)
    SemiRingRepr (src/What4/SemiRing.hs:106)
    BVFlavorRepr (src/What4/SemiRing.hs:102)
    SemiRingBase (src/What4/SemiRing.hs:127)
    zero (src/What4/SemiRing.hs:195)
    one (src/What4/SemiRing.hs:201)
    add (src/What4/SemiRing.hs:207)
    mul (src/What4/SemiRing.hs:213)
    eq (src/What4/SemiRing.hs:219)
    le (src/What4/SemiRing.hs:224)
    lt (src/What4/SemiRing.hs:228)
    sr_compare (src/What4/SemiRing.hs:149)
    sr_hashWithSalt (src/What4/SemiRing.hs:154)
    occ_add (src/What4/SemiRing.hs:165)
    occ_one (src/What4/SemiRing.hs:159)
    occ_eq (src/What4/SemiRing.hs:177)
    occ_hashWithSalt (src/What4/SemiRing.hs:183)
    occ_compare (src/What4/SemiRing.hs:189)
    occ_count (src/What4/SemiRing.hs:171)
Warning: 'unsafePerformIO' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'IORef' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'LogC' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: '???' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'asyncNamed' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'w' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: Couldn't find .haddock for export HasCallStack
  94% ( 33 / 35) in 'What4.Serialize.Log'
  Missing documentation for:
    LogMsg (src/What4/Serialize/Log.hs:94)
    HasCallStack
  60% (  9 / 15) in 'What4.Serialize.SETokens'
  Missing documentation for:
    Atom (src/What4/Serialize/SETokens.hs:44)
    string (src/What4/Serialize/SETokens.hs:66)
    string' (src/What4/Serialize/SETokens.hs:69)
    ident' (src/What4/Serialize/SETokens.hs:76)
    printAtom (src/What4/Serialize/SETokens.hs:123)
    parseSExpr (src/What4/Serialize/SETokens.hs:258)
 100% (  2 /  2) in 'What4.Serialize.FastSExpr'
  88% ( 16 / 18) in 'What4.SpecialFunctions'
  Missing documentation for:
    traverseSpecialFnArg (src/What4/SpecialFunctions.hs:434)
    traverseSpecialFnArgs (src/What4/SpecialFunctions.hs:439)
Warning: 'a' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'z' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'A' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Z' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  66% (  6 /  9) in 'What4.Symbol'
  Missing documentation for:
    solverSymbolAsText (src/What4/Symbol.hs:88)
    systemSymbol (src/What4/Symbol.hs:101)
    ppSolverSymbolError (src/What4/Symbol.hs:60)
   3% (  1 / 26) in 'What4.Utils.AnnotatedMap'
  Missing documentation for:
    AnnotatedMap (src/What4/Utils/AnnotatedMap.hs:97)
    null (src/What4/Utils/AnnotatedMap.hs:150)
    empty (src/What4/Utils/AnnotatedMap.hs:153)
    singleton (src/What4/Utils/AnnotatedMap.hs:156)
    size (src/What4/Utils/AnnotatedMap.hs:160)
    lookup (src/What4/Utils/AnnotatedMap.hs:190)
    delete (src/What4/Utils/AnnotatedMap.hs:195)
    annotation (src/What4/Utils/AnnotatedMap.hs:126)
    toList (src/What4/Utils/AnnotatedMap.hs:132)
    fromAscList (src/What4/Utils/AnnotatedMap.hs:136)
    insert (src/What4/Utils/AnnotatedMap.hs:182)
    alter (src/What4/Utils/AnnotatedMap.hs:201)
    alterF (src/What4/Utils/AnnotatedMap.hs:211)
    union (src/What4/Utils/AnnotatedMap.hs:222)
    unionWith (src/What4/Utils/AnnotatedMap.hs:227)
    unionWithKeyMaybe (src/What4/Utils/AnnotatedMap.hs:236)
    filter (src/What4/Utils/AnnotatedMap.hs:275)
    mapMaybe (src/What4/Utils/AnnotatedMap.hs:281)
    mapMaybeWithKey (src/What4/Utils/AnnotatedMap.hs:289)
    traverseMaybeWithKey (src/What4/Utils/AnnotatedMap.hs:298)
    difference (src/What4/Utils/AnnotatedMap.hs:307)
    mergeWithKey (src/What4/Utils/AnnotatedMap.hs:312)
    mergeWithKeyM (src/What4/Utils/AnnotatedMap.hs:335)
    mergeA (src/What4/Utils/AnnotatedMap.hs:326)
    eqBy (src/What4/Utils/AnnotatedMap.hs:147)
  85% ( 12 / 14) in 'What4.Utils.Arithmetic'
  Missing documentation for:
    rotateLeft (src/What4/Utils/Arithmetic.hs:79)
    rotateRight (src/What4/Utils/Arithmetic.hs:69)
Warning: 'BVDomain' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  43% ( 36 / 82) in 'What4.Utils.BVDomain.Arith'
  Missing documentation for:
    eq (src/What4/Utils/BVDomain/Arith.hs:255)
    zext (src/What4/Utils/BVDomain/Arith.hs:433)
    sext (src/What4/Utils/BVDomain/Arith.hs:437)
    shl (src/What4/Utils/BVDomain/Arith.hs:459)
    lshr (src/What4/Utils/BVDomain/Arith.hs:476)
    ashr (src/What4/Utils/BVDomain/Arith.hs:485)
    add (src/What4/Utils/BVDomain/Arith.hs:502)
    negate (src/What4/Utils/BVDomain/Arith.hs:512)
    scale (src/What4/Utils/BVDomain/Arith.hs:519)
    mul (src/What4/Utils/BVDomain/Arith.hs:531)
    udiv (src/What4/Utils/BVDomain/Arith.hs:565)
    urem (src/What4/Utils/BVDomain/Arith.hs:574)
    sdiv (src/What4/Utils/BVDomain/Arith.hs:624)
    srem (src/What4/Utils/BVDomain/Arith.hs:630)
    correct_any (src/What4/Utils/BVDomain/Arith.hs:705)
    correct_ubounds (src/What4/Utils/BVDomain/Arith.hs:708)
    correct_sbounds (src/What4/Utils/BVDomain/Arith.hs:714)
    correct_singleton (src/What4/Utils/BVDomain/Arith.hs:720)
    correct_overlap (src/What4/Utils/BVDomain/Arith.hs:726)
    correct_union (src/What4/Utils/BVDomain/Arith.hs:730)
    correct_zero_ext (src/What4/Utils/BVDomain/Arith.hs:734)
    correct_sign_ext (src/What4/Utils/BVDomain/Arith.hs:739)
    correct_concat (src/What4/Utils/BVDomain/Arith.hs:744)
    correct_shrink (src/What4/Utils/BVDomain/Arith.hs:751)
    correct_trunc (src/What4/Utils/BVDomain/Arith.hs:756)
    correct_select (src/What4/Utils/BVDomain/Arith.hs:761)
    correct_add (src/What4/Utils/BVDomain/Arith.hs:767)
    correct_neg (src/What4/Utils/BVDomain/Arith.hs:770)
    correct_mul (src/What4/Utils/BVDomain/Arith.hs:776)
    correct_scale (src/What4/Utils/BVDomain/Arith.hs:779)
    correct_scale_eq (src/What4/Utils/BVDomain/Arith.hs:784)
    correct_udiv (src/What4/Utils/BVDomain/Arith.hs:789)
    correct_urem (src/What4/Utils/BVDomain/Arith.hs:795)
    correct_sdivRange (src/What4/Utils/BVDomain/Arith.hs:801)
    correct_sdiv (src/What4/Utils/BVDomain/Arith.hs:808)
    correct_srem (src/What4/Utils/BVDomain/Arith.hs:815)
    correct_not (src/What4/Utils/BVDomain/Arith.hs:773)
    correct_shl (src/What4/Utils/BVDomain/Arith.hs:822)
    correct_lshr (src/What4/Utils/BVDomain/Arith.hs:827)
    correct_ashr (src/What4/Utils/BVDomain/Arith.hs:832)
    correct_eq (src/What4/Utils/BVDomain/Arith.hs:837)
    correct_ult (src/What4/Utils/BVDomain/Arith.hs:845)
    correct_slt (src/What4/Utils/BVDomain/Arith.hs:853)
    correct_isUltSumCommonEquiv (src/What4/Utils/BVDomain/Arith.hs:861)
    correct_unknowns (src/What4/Utils/BVDomain/Arith.hs:873)
    correct_bitbounds (src/What4/Utils/BVDomain/Arith.hs:879)
  37% ( 23 / 62) in 'What4.Utils.BVDomain.Bitwise'
  Missing documentation for:
    bitle (src/What4/Utils/BVDomain/Bitwise.hs:127)
    eq (src/What4/Utils/BVDomain/Bitwise.hs:224)
    union (src/What4/Utils/BVDomain/Bitwise.hs:237)
    intersection (src/What4/Utils/BVDomain/Bitwise.hs:233)
    zext (src/What4/Utils/BVDomain/Bitwise.hs:275)
    sext (src/What4/Utils/BVDomain/Bitwise.hs:278)
    testBit (src/What4/Utils/BVDomain/Bitwise.hs:284)
    shl (src/What4/Utils/BVDomain/Bitwise.hs:291)
    lshr (src/What4/Utils/BVDomain/Bitwise.hs:305)
    ashr (src/What4/Utils/BVDomain/Bitwise.hs:311)
    rol (src/What4/Utils/BVDomain/Bitwise.hs:297)
    ror (src/What4/Utils/BVDomain/Bitwise.hs:301)
    and (src/What4/Utils/BVDomain/Bitwise.hs:321)
    or (src/What4/Utils/BVDomain/Bitwise.hs:325)
    xor (src/What4/Utils/BVDomain/Bitwise.hs:329)
    not (src/What4/Utils/BVDomain/Bitwise.hs:317)
    genElement (src/What4/Utils/BVDomain/Bitwise.hs:149)
    correct_any (src/What4/Utils/BVDomain/Bitwise.hs:348)
    correct_singleton (src/What4/Utils/BVDomain/Bitwise.hs:351)
    correct_overlap (src/What4/Utils/BVDomain/Bitwise.hs:357)
    correct_union (src/What4/Utils/BVDomain/Bitwise.hs:361)
    correct_intersection (src/What4/Utils/BVDomain/Bitwise.hs:365)
    correct_zero_ext (src/What4/Utils/BVDomain/Bitwise.hs:369)
    correct_sign_ext (src/What4/Utils/BVDomain/Bitwise.hs:374)
    correct_concat (src/What4/Utils/BVDomain/Bitwise.hs:379)
    correct_shrink (src/What4/Utils/BVDomain/Bitwise.hs:386)
    correct_trunc (src/What4/Utils/BVDomain/Bitwise.hs:391)
    correct_select (src/What4/Utils/BVDomain/Bitwise.hs:396)
    correct_shl (src/What4/Utils/BVDomain/Bitwise.hs:410)
    correct_lshr (src/What4/Utils/BVDomain/Bitwise.hs:415)
    correct_ashr (src/What4/Utils/BVDomain/Bitwise.hs:420)
    correct_rol (src/What4/Utils/BVDomain/Bitwise.hs:425)
    correct_ror (src/What4/Utils/BVDomain/Bitwise.hs:428)
    correct_eq (src/What4/Utils/BVDomain/Bitwise.hs:402)
    correct_and (src/What4/Utils/BVDomain/Bitwise.hs:434)
    correct_or (src/What4/Utils/BVDomain/Bitwise.hs:437)
    correct_not (src/What4/Utils/BVDomain/Bitwise.hs:431)
    correct_xor (src/What4/Utils/BVDomain/Bitwise.hs:440)
    correct_testBit (src/What4/Utils/BVDomain/Bitwise.hs:443)
Warning: 'BVDomain' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  64% ( 16 / 25) in 'What4.Utils.BVDomain.XOR'
  Missing documentation for:
    xor (src/What4/Utils/BVDomain/XOR.hs:148)
    and (src/What4/Utils/BVDomain/XOR.hs:154)
    and_scalar (src/What4/Utils/BVDomain/XOR.hs:160)
    genElement (src/What4/Utils/BVDomain/XOR.hs:119)
    correct_singleton (src/What4/Utils/BVDomain/XOR.hs:171)
    correct_xor (src/What4/Utils/BVDomain/XOR.hs:177)
    correct_and (src/What4/Utils/BVDomain/XOR.hs:180)
    correct_and_scalar (src/What4/Utils/BVDomain/XOR.hs:183)
    correct_bitbounds (src/What4/Utils/BVDomain/XOR.hs:189)
  31% ( 36 /113) in 'What4.Utils.BVDomain'
  Missing documentation for:
    asArithDomain (src/What4/Utils/BVDomain.hs:218)
    asBitwiseDomain (src/What4/Utils/BVDomain.hs:222)
    asXorDomain (src/What4/Utils/BVDomain.hs:211)
    fromXorDomain (src/What4/Utils/BVDomain.hs:215)
    arithToXorDomain (src/What4/Utils/BVDomain.hs:195)
    bitwiseToXorDomain (src/What4/Utils/BVDomain.hs:189)
    xorToBitwiseDomain (src/What4/Utils/BVDomain.hs:205)
    eq (src/What4/Utils/BVDomain.hs:399)
    ubounds (src/What4/Utils/BVDomain.hs:423)
    sbounds (src/What4/Utils/BVDomain.hs:426)
    zext (src/What4/Utils/BVDomain.hs:484)
    sext (src/What4/Utils/BVDomain.hs:488)
    shl (src/What4/Utils/BVDomain.hs:505)
    lshr (src/What4/Utils/BVDomain.hs:516)
    ashr (src/What4/Utils/BVDomain.hs:528)
    rol (src/What4/Utils/BVDomain.hs:539)
    ror (src/What4/Utils/BVDomain.hs:556)
    add (src/What4/Utils/BVDomain.hs:575)
    negate (src/What4/Utils/BVDomain.hs:581)
    scale (src/What4/Utils/BVDomain.hs:584)
    mul (src/What4/Utils/BVDomain.hs:589)
    udiv (src/What4/Utils/BVDomain.hs:595)
    urem (src/What4/Utils/BVDomain.hs:598)
    sdiv (src/What4/Utils/BVDomain.hs:601)
    srem (src/What4/Utils/BVDomain.hs:604)
    and (src/What4/Utils/BVDomain.hs:615)
    or (src/What4/Utils/BVDomain.hs:623)
    xor (src/What4/Utils/BVDomain.hs:629)
    popcnt (src/What4/Utils/BVDomain.hs:638)
    clz (src/What4/Utils/BVDomain.hs:645)
    ctz (src/What4/Utils/BVDomain.hs:652)
    correct_arithToBitwise (src/What4/Utils/BVDomain.hs:668)
    correct_bitwiseToArith (src/What4/Utils/BVDomain.hs:671)
    correct_bitwiseToXorDomain (src/What4/Utils/BVDomain.hs:674)
    correct_arithToXorDomain (src/What4/Utils/BVDomain.hs:677)
    correct_xorToBitwiseDomain (src/What4/Utils/BVDomain.hs:680)
    correct_asXorDomain (src/What4/Utils/BVDomain.hs:683)
    correct_fromXorDomain (src/What4/Utils/BVDomain.hs:686)
    correct_bra1 (src/What4/Utils/BVDomain.hs:690)
    correct_bra2 (src/What4/Utils/BVDomain.hs:695)
    correct_brb1 (src/What4/Utils/BVDomain.hs:700)
    correct_brb2 (src/What4/Utils/BVDomain.hs:707)
    correct_any (src/What4/Utils/BVDomain.hs:713)
    correct_ubounds (src/What4/Utils/BVDomain.hs:716)
    correct_sbounds (src/What4/Utils/BVDomain.hs:722)
    correct_singleton (src/What4/Utils/BVDomain.hs:728)
    correct_overlap (src/What4/Utils/BVDomain.hs:734)
    precise_overlap (src/What4/Utils/BVDomain.hs:738)
    correct_union (src/What4/Utils/BVDomain.hs:742)
    correct_zero_ext (src/What4/Utils/BVDomain.hs:746)
    correct_sign_ext (src/What4/Utils/BVDomain.hs:751)
    correct_concat (src/What4/Utils/BVDomain.hs:756)
    correct_select (src/What4/Utils/BVDomain.hs:762)
    correct_add (src/What4/Utils/BVDomain.hs:768)
    correct_neg (src/What4/Utils/BVDomain.hs:771)
    correct_mul (src/What4/Utils/BVDomain.hs:774)
    correct_scale (src/What4/Utils/BVDomain.hs:777)
    correct_udiv (src/What4/Utils/BVDomain.hs:782)
    correct_urem (src/What4/Utils/BVDomain.hs:788)
    correct_sdiv (src/What4/Utils/BVDomain.hs:794)
    correct_srem (src/What4/Utils/BVDomain.hs:801)
    correct_shl (src/What4/Utils/BVDomain.hs:808)
    correct_lshr (src/What4/Utils/BVDomain.hs:813)
    correct_ashr (src/What4/Utils/BVDomain.hs:818)
    correct_rol (src/What4/Utils/BVDomain.hs:823)
    correct_ror (src/What4/Utils/BVDomain.hs:826)
    correct_eq (src/What4/Utils/BVDomain.hs:829)
    correct_ult (src/What4/Utils/BVDomain.hs:837)
    correct_slt (src/What4/Utils/BVDomain.hs:845)
    correct_and (src/What4/Utils/BVDomain.hs:856)
    correct_or (src/What4/Utils/BVDomain.hs:859)
    correct_not (src/What4/Utils/BVDomain.hs:853)
    correct_xor (src/What4/Utils/BVDomain.hs:862)
    correct_testBit (src/What4/Utils/BVDomain.hs:865)
    correct_popcnt (src/What4/Utils/BVDomain.hs:873)
    correct_clz (src/What4/Utils/BVDomain.hs:879)
    correct_ctz (src/What4/Utils/BVDomain.hs:876)
  20% (  3 / 15) in 'What4.Utils.Complex'
  Missing documentation for:
    realPart (src/What4/Utils/Complex.hs:66)
    imagPart (src/What4/Utils/Complex.hs:69)
    magnitude (src/What4/Utils/Complex.hs:174)
    complexNegate (src/What4/Utils/Complex.hs:77)
    complexAdd (src/What4/Utils/Complex.hs:80)
    complexSub (src/What4/Utils/Complex.hs:83)
    complexMul (src/What4/Utils/Complex.hs:87)
    complexDiv (src/What4/Utils/Complex.hs:109)
    complexRecip (src/What4/Utils/Complex.hs:112)
    tryComplexSqrt (src/What4/Utils/Complex.hs:187)
    tryMagnitude (src/What4/Utils/Complex.hs:181)
    complexAsRational (src/What4/Utils/Complex.hs:200)
   0% (  0 /  2) in 'What4.Utils.Endian'
  Missing documentation for:
    Module header
    Endian (src/What4/Utils/Endian.hs:3)
  66% (  2 /  3) in 'What4.Utils.Environment'
  Missing documentation for:
    expandEnvironmentPath (src/What4/Utils/Environment.hs:74)
  54% (  6 / 11) in 'What4.Utils.FloatHelpers'
  Missing documentation for:
    Module header
    bfStatus (src/What4/Utils/FloatHelpers.hs:29)
    fppOpts (src/What4/Utils/FloatHelpers.hs:33)
    toRoundMode (src/What4/Utils/FloatHelpers.hs:37)
    floatRoundToInt (src/What4/Utils/FloatHelpers.hs:103)
Warning: 'stdout' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'stderr' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  33% (  4 / 12) in 'What4.Utils.HandleReader'
  Missing documentation for:
    Module header
    teeInputStream (src/What4/Utils/HandleReader.hs:18)
    teeOutputStream (src/What4/Utils/HandleReader.hs:25)
    lineBufferedOutputStream (src/What4/Utils/HandleReader.hs:32)
    demuxProcessHandles (src/What4/Utils/HandleReader.hs:57)
    streamLines (src/What4/Utils/HandleReader.hs:98)
    readNextLine (src/What4/Utils/HandleReader.hs:134)
    readAllLines (src/What4/Utils/HandleReader.hs:143)
  20% (  1 /  5) in 'What4.Utils.IncrHash'
  Missing documentation for:
    IncrHash (src/What4/Utils/IncrHash.hs:26)
    mkIncrHash (src/What4/Utils/IncrHash.hs:36)
    toIncrHash (src/What4/Utils/IncrHash.hs:39)
    toIncrHashWithSalt (src/What4/Utils/IncrHash.hs:42)
  94% ( 16 / 17) in 'What4.Expr.BoolMap'
  Missing documentation for:
    Wrap (src/What4/Expr/BoolMap.hs:60)
  24% (  7 / 29) in 'What4.Utils.LeqMap'
  Missing documentation for:
    LeqMap (src/What4/Utils/LeqMap.hs:53)
    toList (src/What4/Utils/LeqMap.hs:164)
    findMin (src/What4/Utils/LeqMap.hs:157)
    findMax (src/What4/Utils/LeqMap.hs:150)
    null (src/What4/Utils/LeqMap.hs:146)
    mapKeysMonotonic (src/What4/Utils/LeqMap.hs:168)
    union (src/What4/Utils/LeqMap.hs:347)
    fromDistinctAscList (src/What4/Utils/LeqMap.hs:479)
    toDescList (src/What4/Utils/LeqMap.hs:476)
    deleteFindMin (src/What4/Utils/LeqMap.hs:394)
    deleteFindMax (src/What4/Utils/LeqMap.hs:401)
    minViewWithKey (src/What4/Utils/LeqMap.hs:390)
    filterGt (src/What4/Utils/LeqMap.hs:293)
    filterLt (src/What4/Utils/LeqMap.hs:309)
    insert (src/What4/Utils/LeqMap.hs:196)
    keys (src/What4/Utils/LeqMap.hs:386)
    mergeWithKey (src/What4/Utils/LeqMap.hs:408)
    singleton (src/What4/Utils/LeqMap.hs:139)
    foldlWithKey' (src/What4/Utils/LeqMap.hs:381)
    size (src/What4/Utils/LeqMap.hs:142)
    splitEntry (src/What4/Utils/LeqMap.hs:192)
    splitLeq (src/What4/Utils/LeqMap.hs:173)
Warning: Couldn't find .haddock for export ST
Warning: Couldn't find .haddock for export RealWorld
  25% (  1 /  4) in 'What4.Utils.MonadST'
  Missing documentation for:
    MonadST (src/What4/Utils/MonadST.hs:33)
    ST
    RealWorld
  66% (  2 /  3) in 'What4.Utils.OnlyIntRepr'
  Missing documentation for:
    toBaseTypeRepr (src/What4/Utils/OnlyIntRepr.hs:38)
 100% (  2 /  2) in 'What4.Utils.Streams'
  16% (  1 /  6) in 'What4.Utils.Versions'
  Missing documentation for:
    Module header
    ver (src/What4/Utils/Versions.hs:22)
    SolverBounds (src/What4/Utils/Versions.hs:28)
    emptySolverBounds (src/What4/Utils/Versions.hs:37)
    computeDefaultSolverBounds (src/What4/Utils/Versions.hs:77)
  58% ( 10 / 17) in 'What4.Utils.Word16String'
  Missing documentation for:
    drop (src/What4/Utils/Word16String.hs:130)
    take (src/What4/Utils/Word16String.hs:133)
    append (src/What4/Utils/Word16String.hs:136)
    length (src/What4/Utils/Word16String.hs:140)
    foldl' (src/What4/Utils/Word16String.hs:143)
    isPrefixOf (src/What4/Utils/Word16String.hs:169)
    isSuffixOf (src/What4/Utils/Word16String.hs:172)
Warning: 'bytestring' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  13% (  2 / 15) in 'What4.Utils.StringLiteral'
  Missing documentation for:
    StringLiteral (src/What4/Utils/StringLiteral.hs:47)
    stringLiteralInfo (src/What4/Utils/StringLiteral.hs:52)
    fromUnicodeLit (src/What4/Utils/StringLiteral.hs:57)
    fromChar8Lit (src/What4/Utils/StringLiteral.hs:60)
    fromChar16Lit (src/What4/Utils/StringLiteral.hs:63)
    stringLitEmpty (src/What4/Utils/StringLiteral.hs:127)
    stringLitLength (src/What4/Utils/StringLiteral.hs:122)
    stringLitNull (src/What4/Utils/StringLiteral.hs:132)
    stringLitBounds (src/What4/Utils/StringLiteral.hs:210)
    stringLitContains (src/What4/Utils/StringLiteral.hs:137)
    stringLitIsPrefixOf (src/What4/Utils/StringLiteral.hs:142)
    stringLitIsSuffixOf (src/What4/Utils/StringLiteral.hs:147)
    stringLitSubstring (src/What4/Utils/StringLiteral.hs:152)
  46% ( 31 / 67) in 'What4.Utils.AbstractDomains'
  Missing documentation for:
    minValueBound (src/What4/Utils/AbstractDomains.hs:146)
    maxValueBound (src/What4/Utils/AbstractDomains.hs:149)
    addRange (src/What4/Utils/AbstractDomains.hs:283)
    negateRange (src/What4/Utils/AbstractDomains.hs:317)
    rangeCheckLe (src/What4/Utils/AbstractDomains.hs:407)
    rangeMin (src/What4/Utils/AbstractDomains.hs:550)
    rangeMax (src/What4/Utils/AbstractDomains.hs:536)
    intAbsRange (src/What4/Utils/AbstractDomains.hs:198)
    intModRange (src/What4/Utils/AbstractDomains.hs:266)
    absAnd (src/What4/Utils/AbstractDomains.hs:521)
    absOr (src/What4/Utils/AbstractDomains.hs:528)
    RealAbstractValue (src/What4/Utils/AbstractDomains.hs:470)
    ravUnbounded (src/What4/Utils/AbstractDomains.hs:474)
    ravSingle (src/What4/Utils/AbstractDomains.hs:477)
    ravJoin (src/What4/Utils/AbstractDomains.hs:508)
    ravScalarMul (src/What4/Utils/AbstractDomains.hs:495)
    ravMul (src/What4/Utils/AbstractDomains.hs:502)
    ravCheckEq (src/What4/Utils/AbstractDomains.hs:513)
    ravCheckLe (src/What4/Utils/AbstractDomains.hs:516)
    stringAbsJoin (src/What4/Utils/AbstractDomains.hs:581)
    stringAbsTop (src/What4/Utils/AbstractDomains.hs:575)
    stringAbsSingle (src/What4/Utils/AbstractDomains.hs:584)
    stringAbsOverlap (src/What4/Utils/AbstractDomains.hs:587)
    stringAbsLength (src/What4/Utils/AbstractDomains.hs:649)
    stringAbsConcat (src/What4/Utils/AbstractDomains.hs:602)
    stringAbsSubstring (src/What4/Utils/AbstractDomains.hs:605)
    stringAbsContains (src/What4/Utils/AbstractDomains.hs:625)
    stringAbsIsPrefixOf (src/What4/Utils/AbstractDomains.hs:628)
    stringAbsIsSuffixOf (src/What4/Utils/AbstractDomains.hs:631)
    stringAbsIndexOf (src/What4/Utils/AbstractDomains.hs:639)
    stringAbsEmpty (src/What4/Utils/AbstractDomains.hs:578)
    ConcreteValue (src/What4/Utils/AbstractDomains.hs:672)
    Abstractable (src/What4/Utils/AbstractDomains.hs:721)
    withAbstractable (src/What4/Utils/AbstractDomains.hs:817)
    AbstractValueWrapper (src/What4/Utils/AbstractDomains.hs:669)
    ConcreteValueWrapper (src/What4/Utils/AbstractDomains.hs:683)
Warning: 'foldlM' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  92% ( 38 / 41) in 'What4.Expr.WeightedSum'
  Missing documentation for:
    Tm (src/What4/Expr/WeightedSum.hs:159)
    sumAbsValue (src/What4/Expr/WeightedSum.hs:289)
    prodAbsValue (src/What4/Expr/WeightedSum.hs:633)
   6% (  1 / 16) in 'What4.Expr.ArrayUpdateMap'
  Missing documentation for:
    ArrayUpdateMap (src/What4/Expr/ArrayUpdateMap.hs:62)
    arrayUpdateAbs (src/What4/Expr/ArrayUpdateMap.hs:77)
    empty (src/What4/Expr/ArrayUpdateMap.hs:128)
    null (src/What4/Expr/ArrayUpdateMap.hs:95)
    lookup (src/What4/Expr/ArrayUpdateMap.hs:98)
    filter (src/What4/Expr/ArrayUpdateMap.hs:104)
    singleton (src/What4/Expr/ArrayUpdateMap.hs:111)
    insert (src/What4/Expr/ArrayUpdateMap.hs:119)
    delete (src/What4/Expr/ArrayUpdateMap.hs:101)
    fromAscList (src/What4/Expr/ArrayUpdateMap.hs:80)
    toList (src/What4/Expr/ArrayUpdateMap.hs:86)
    toMap (src/What4/Expr/ArrayUpdateMap.hs:151)
    keysSet (src/What4/Expr/ArrayUpdateMap.hs:148)
    traverseArrayUpdateMap (src/What4/Expr/ArrayUpdateMap.hs:89)
    mergeM (src/What4/Expr/ArrayUpdateMap.hs:131)
  50% (  6 / 12) in 'What4.Concrete'
  Missing documentation for:
    fromConcreteBool (src/What4/Concrete.hs:90)
    fromConcreteInteger (src/What4/Concrete.hs:93)
    fromConcreteReal (src/What4/Concrete.hs:96)
    fromConcreteString (src/What4/Concrete.hs:102)
    fromConcreteBV (src/What4/Concrete.hs:105)
    fromConcreteComplex (src/What4/Concrete.hs:99)
  94% ( 63 / 67) in 'What4.Config'
  Missing documentation for:
    OptSetFailure (src/What4/Config.hs:1005)
    OptGetFailure (src/What4/Config.hs:1018)
    OptCreateFailure (src/What4/Config.hs:899)
    stringOptSty (src/What4/Config.hs:411)
  71% (  5 /  7) in 'What4.Utils.Process'
  Missing documentation for:
    Module header
    findSolverPath (src/What4/Utils/Process.hs:47)
Warning: 'z' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'w' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'x' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'y' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'floatFpNe' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: What4.Interface: Could not find documentation for exported module: Data.Parameterized.NatRepr
  92% (100 /108) in 'What4.Interface'
  Missing documentation for:
    SomeSymFn (src/What4/Interface.hs:2730)
    SolverStartSATQuery (src/What4/Interface.hs:431)
    SolverEndSATQuery (src/What4/Interface.hs:437)
    zeroStatistics (src/What4/Interface.hs:3271)
    printSymNat (src/What4/Interface.hs:570)
    ArrayResultWrapper (src/What4/Interface.hs:410)
    StringLiteral (src/What4/Utils/StringLiteral.hs:47)
    stringLiteralInfo (src/What4/Utils/StringLiteral.hs:52)
  60% (  3 /  5) in 'What4.Utils.Serialize'
  Missing documentation for:
    Module header
    withRounding (src/What4/Utils/Serialize.hs:100)
  76% ( 50 / 65) in 'What4.SWord'
  Missing documentation for:
    freshBV (src/What4/SWord.hs:208)
    bvFill (src/What4/SWord.hs:222)
    bvForall (src/What4/SWord.hs:560)
    unsignedBVBounds (src/What4/SWord.hs:154)
    signedBVBounds (src/What4/SWord.hs:158)
    bvIsNonzero (src/What4/SWord.hs:649)
    bvPopcount (src/What4/SWord.hs:551)
    bvCountLeadingZeros (src/What4/SWord.hs:554)
    bvCountTrailingZeros (src/What4/SWord.hs:557)
    bvLg2 (src/What4/SWord.hs:608)
    bvShl (src/What4/SWord.hs:718)
    bvLshr (src/What4/SWord.hs:721)
    bvAshr (src/What4/SWord.hs:724)
    bvRol (src/What4/SWord.hs:727)
    bvRor (src/What4/SWord.hs:730)
  41% ( 22 / 53) in 'What4.SFloat'
  Missing documentation for:
    fpReprOf (src/What4/SFloat.hs:142)
    fpSize (src/What4/SFloat.hs:148)
    fpAsLit (src/What4/SFloat.hs:153)
    fpIte (src/What4/SFloat.hs:336)
    fpToBinary (src/What4/SFloat.hs:253)
    SFloatRel (src/What4/SFloat.hs:368)
    fpEq (src/What4/SFloat.hs:371)
    fpEqIEEE (src/What4/SFloat.hs:374)
    fpLtIEEE (src/What4/SFloat.hs:377)
    fpGtIEEE (src/What4/SFloat.hs:380)
    SFloatBinArith (src/What4/SFloat.hs:291)
    fpNeg (src/What4/SFloat.hs:264)
    fpAbs (src/What4/SFloat.hs:267)
    fpSqrt (src/What4/SFloat.hs:270)
    fpAdd (src/What4/SFloat.hs:294)
    fpSub (src/What4/SFloat.hs:297)
    fpMul (src/What4/SFloat.hs:300)
    fpDiv (src/What4/SFloat.hs:303)
    fpMin (src/What4/SFloat.hs:306)
    fpMax (src/What4/SFloat.hs:315)
    fpFMA (src/What4/SFloat.hs:324)
    fpRound (src/What4/SFloat.hs:385)
    fpFromReal (src/What4/SFloat.hs:393)
    fpFromRational (src/What4/SFloat.hs:407)
    fpFromInteger (src/What4/SFloat.hs:401)
    fpIsInf (src/What4/SFloat.hs:439)
    fpIsNaN (src/What4/SFloat.hs:442)
    fpIsZero (src/What4/SFloat.hs:445)
    fpIsNeg (src/What4/SFloat.hs:448)
    fpIsSubnorm (src/What4/SFloat.hs:451)
    fpIsNorm (src/What4/SFloat.hs:454)
  79% ( 19 / 24) in 'What4.Partial'
  Missing documentation for:
    partialPred (src/What4/Partial.hs:97)
    partialValue (src/What4/Partial.hs:97)
    PE (src/What4/Partial.hs:145)
    Unassigned (src/What4/Partial.hs:142)
    mkPE (src/What4/Partial.hs:151)
 100% (  7 /  7) in 'What4.LabeledPred'
  53% ( 17 / 32) in 'What4.InterpretedFloatingPoint'
  Missing documentation for:
    Module header
    HalfFloat (src/What4/InterpretedFloatingPoint.hs:72)
    SingleFloat (src/What4/InterpretedFloatingPoint.hs:73)
    DoubleFloat (src/What4/InterpretedFloatingPoint.hs:74)
    QuadFloat (src/What4/InterpretedFloatingPoint.hs:75)
    X86_80Float (src/What4/InterpretedFloatingPoint.hs:76)
    DoubleDoubleFloat (src/What4/InterpretedFloatingPoint.hs:77)
    fp80ToBits (src/What4/InterpretedFloatingPoint.hs:182)
    fp80ToRational (src/What4/InterpretedFloatingPoint.hs:186)
    FloatInfoToPrecision (src/What4/InterpretedFloatingPoint.hs:116)
    FloatPrecisionToInfo (src/What4/InterpretedFloatingPoint.hs:123)
    floatInfoToPrecisionRepr (src/What4/InterpretedFloatingPoint.hs:138)
    floatPrecisionToInfoRepr (src/What4/InterpretedFloatingPoint.hs:148)
    FloatInfoToBitWidth (src/What4/InterpretedFloatingPoint.hs:130)
    floatInfoToBVTypeRepr (src/What4/InterpretedFloatingPoint.hs:164)
Warning: 'x' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'p' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'r' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ite' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'f' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'z' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'c' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  86% ( 20 / 23) in 'What4.Expr.UnaryBV'
  Missing documentation for:
    width (src/What4/Expr/UnaryBV.hs:120)
    traversePreds (src/What4/Expr/UnaryBV.hs:128)
    unsignedEntries (src/What4/Expr/UnaryBV.hs:181)
  12% (  1 /  8) in 'What4.Expr.StringSeq'
  Missing documentation for:
    StringSeq (src/What4/Expr/StringSeq.hs:82)
    StringSeqEntry (src/What4/Expr/StringSeq.hs:60)
    singleton (src/What4/Expr/StringSeq.hs:112)
    append (src/What4/Expr/StringSeq.hs:117)
    stringSeqAbs (src/What4/Expr/StringSeq.hs:125)
    toList (src/What4/Expr/StringSeq.hs:130)
    traverseStringSeq (src/What4/Expr/StringSeq.hs:133)
Warning: 'IntegerToNatFn' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  50% (  9 / 18) in 'What4.Expr.MATLAB'
  Missing documentation for:
    ppMatlabSolverFn (src/What4/Expr/MATLAB.hs:647)
    evalMatlabSolverFn (src/What4/Expr/MATLAB.hs:748)
    traverseMatlabSolverFn (src/What4/Expr/MATLAB.hs:457)
    clampedIntAdd (src/What4/Expr/MATLAB.hs:59)
    clampedIntSub (src/What4/Expr/MATLAB.hs:87)
    clampedIntMul (src/What4/Expr/MATLAB.hs:101)
    clampedUIntAdd (src/What4/Expr/MATLAB.hs:157)
    clampedUIntSub (src/What4/Expr/MATLAB.hs:168)
    clampedUIntMul (src/What4/Expr/MATLAB.hs:183)
Warning: 'NonceAppExpr' is ambiguous. It is defined
    * at src/What4/Expr/App.hs:153:3
    * at src/What4/Expr/App.hs:110:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/What4/Expr/App.hs:110:1
Warning: 'sbNonceExpr' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'AppExpr' is ambiguous. It is defined
    * at src/What4/Expr/App.hs:151:3
    * at src/What4/Expr/App.hs:124:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/What4/Expr/App.hs:124:1
Warning: 'sbMakeExpr' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ExprBuilder' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'true' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  31% ( 31 / 97) in 'What4.Expr.App'
  Missing documentation for:
    BVOrNote (src/What4/Expr/App.hs:157)
    BVOrSet (src/What4/Expr/App.hs:159)
    traverseApp (src/What4/Expr/App.hs:788)
    traverseArrayResultWrapper (src/What4/Expr/App.hs:944)
    traverseArrayResultWrapperAssignment (src/What4/Expr/App.hs:952)
    exprLoc (src/What4/Expr/App.hs:1005)
    mkExpr (src/What4/Expr/App.hs:1014)
    BoolExpr (src/What4/Expr/App.hs:1027)
    FloatExpr (src/What4/Expr/App.hs:1028)
    BVExpr (src/What4/Expr/App.hs:1029)
    IntegerExpr (src/What4/Expr/App.hs:1030)
    RealExpr (src/What4/Expr/App.hs:1031)
    CplxExpr (src/What4/Expr/App.hs:1032)
    StringExpr (src/What4/Expr/App.hs:1033)
    iteSize (src/What4/Expr/App.hs:1037)
    asSemiRingLit (src/What4/Expr/App.hs:1114)
    asSemiRingSum (src/What4/Expr/App.hs:1127)
    asSemiRingProd (src/What4/Expr/App.hs:1133)
    viewSemiRing (src/What4/Expr/App.hs:1145)
    asWeightedSum (src/What4/Expr/App.hs:1152)
    asConjunction (src/What4/Expr/App.hs:1158)
    asDisjunction (src/What4/Expr/App.hs:1168)
    asPosAtom (src/What4/Expr/App.hs:1177)
    asNegAtom (src/What4/Expr/App.hs:1181)
    compareExpr (src/What4/Expr/App.hs:1210)
    PPIndex (src/What4/Expr/App.hs:1321)
    countOccurrences (src/What4/Expr/App.hs:1331)
    OccurrenceTable (src/What4/Expr/App.hs:1337)
    incOccurrence (src/What4/Expr/App.hs:1340)
    countOccurrences' (src/What4/Expr/App.hs:1348)
    BoundVarMap (src/What4/Expr/App.hs:1365)
    cache (src/What4/Expr/App.hs:1367)
    boundVars (src/What4/Expr/App.hs:1378)
    boundVars' (src/What4/Expr/App.hs:1384)
    PPExpr (src/What4/Expr/App.hs:1426)
    textPPExpr (src/What4/Expr/App.hs:1436)
    stringPPExpr (src/What4/Expr/App.hs:1439)
    parenIf (src/What4/Expr/App.hs:1448)
    PPExprOpts (src/What4/Expr/App.hs:1458)
    defaultPPExprOpts (src/What4/Expr/App.hs:1462)
    findExprToRemove (src/What4/Expr/App.hs:1489)
    ppExpr' (src/What4/Expr/App.hs:1501)
    symFnArgTypes (src/What4/Expr/App.hs:1690)
    symFnReturnType (src/What4/Expr/App.hs:1697)
    testExprSymFnEq (src/What4/Expr/App.hs:1717)
    traverseBVOrSet (src/What4/Expr/App.hs:1735)
    bvOrInsert (src/What4/Expr/App.hs:1741)
    bvOrSingleton (src/What4/Expr/App.hs:1744)
    bvOrContains (src/What4/Expr/App.hs:1747)
    bvOrUnion (src/What4/Expr/App.hs:1750)
    bvOrToList (src/What4/Expr/App.hs:1753)
    bvOrAbs (src/What4/Expr/App.hs:1756)
    nonceAppType (src/What4/Expr/App.hs:1774)
    appType (src/What4/Expr/App.hs:1785)
    abstractEval (src/What4/Expr/App.hs:1925)
    reduceApp (src/What4/Expr/App.hs:2078)
    ppVar (src/What4/Expr/App.hs:2244)
    ppBoundVar (src/What4/Expr/App.hs:2247)
    exprPrettyArg (src/What4/Expr/App.hs:2280)
    exprPrettyIndices (src/What4/Expr/App.hs:2283)
    stringPrettyArg (src/What4/Expr/App.hs:2286)
    showPrettyArg (src/What4/Expr/App.hs:2289)
    PrettyApp (src/What4/Expr/App.hs:2292)
    prettyApp (src/What4/Expr/App.hs:2294)
    ppNonceApp (src/What4/Expr/App.hs:2297)
    ppApp' (src/What4/Expr/App.hs:2329)
  40% (  2 /  5) in 'What4.Expr.AppTheory'
  Missing documentation for:
    quantTheory (src/What4/Expr/AppTheory.hs:41)
    appTheory (src/What4/Expr/AppTheory.hs:64)
    typeTheory (src/What4/Expr/AppTheory.hs:52)
  57% ( 11 / 19) in 'What4.Expr.VarIdentification'
  Missing documentation for:
    CollectedVarInfo (src/What4/Expr/VarIdentification.hs:95)
    uninterpConstants (src/What4/Expr/VarIdentification.hs:109)
    latches (src/What4/Expr/VarIdentification.hs:124)
    BoundQuant (src/What4/Expr/VarIdentification.hs:73)
    QuantifierInfoMap (src/What4/Expr/VarIdentification.hs:91)
    varErrors (src/What4/Expr/VarIdentification.hs:127)
    VarRecorder (src/What4/Expr/VarIdentification.hs:134)
    collectVarInfo (src/What4/Expr/VarIdentification.hs:145)
  87% (  7 /  8) in 'What4.Expr.Allocator'
  Missing documentation for:
    cacheOptDesc (src/What4/Expr/Allocator.hs:86)
  53% ( 64 /120) in 'What4.Expr.Builder'
  Missing documentation for:
    newExprBuilder (src/What4/Expr/Builder.hs:647)
    sbMakeExpr (src/What4/Expr/Builder.hs:577)
    curProgramLoc (src/What4/Expr/Builder.hs:557)
    unaryThreshold (src/What4/Expr/Builder.hs:410)
    cacheStartSize (src/What4/Expr/Builder.hs:413)
    userState (src/What4/Expr/Builder.hs:407)
    exprCounter (src/What4/Expr/Builder.hs:404)
    bvUnary (src/What4/Expr/Builder.hs:1171)
    bvSum (src/What4/Expr/Builder.hs:1157)
    scalarMul (src/What4/Expr/Builder.hs:1229)
    iteSize (src/What4/Expr/App.hs:1037)
    exprLoc (src/What4/Expr/App.hs:1005)
    exprMaybeId (src/What4/Expr/Builder.hs:511)
    asConjunction (src/What4/Expr/App.hs:1158)
    asDisjunction (src/What4/Expr/App.hs:1168)
    appExprId (src/What4/Expr/App.hs:125)
    appExprLoc (src/What4/Expr/App.hs:126)
    appExprApp (src/What4/Expr/App.hs:127)
    nonceExprId (src/What4/Expr/App.hs:111)
    nonceExprLoc (src/What4/Expr/App.hs:112)
    nonceExprApp (src/What4/Expr/App.hs:113)
    BoolExpr (src/What4/Expr/App.hs:1027)
    IntegerExpr (src/What4/Expr/App.hs:1030)
    RealExpr (src/What4/Expr/App.hs:1031)
    FloatExpr (src/What4/Expr/App.hs:1028)
    BVExpr (src/What4/Expr/App.hs:1029)
    CplxExpr (src/What4/Expr/App.hs:1032)
    StringExpr (src/What4/Expr/App.hs:1033)
    traverseApp (src/What4/Expr/App.hs:788)
    appType (src/What4/Expr/App.hs:1785)
    nonceAppType (src/What4/Expr/App.hs:1774)
    bvarId (src/What4/Expr/App.hs:664)
    bvarLoc (src/What4/Expr/App.hs:665)
    bvarName (src/What4/Expr/App.hs:666)
    bvarType (src/What4/Expr/App.hs:667)
    bvarKind (src/What4/Expr/App.hs:668)
    bvarAbstractValue (src/What4/Expr/App.hs:669)
    boundVars (src/What4/Expr/App.hs:1378)
    ppBoundVar (src/What4/Expr/App.hs:2247)
    symFnArgTypes (src/What4/Expr/App.hs:1690)
    symFnReturnType (src/What4/Expr/App.hs:1697)
    SomeExprSymFn (src/What4/Expr/Builder.hs:324)
    ExprSymFnWrapper (src/What4/Expr/Builder.hs:321)
    lookupBindingOfSymbol (src/What4/Expr/Builder.hs:299)
    lookupSymbolOfBinding (src/What4/Expr/Builder.hs:302)
    lookupIdx (src/What4/Expr/Builder.hs:494)
    FloatModeRepr (src/What4/FloatMode.hs:56)
    Flags (src/What4/Expr/Builder.hs:341)
    BVOrSet (src/What4/Expr/App.hs:159)
    bvOrToList (src/What4/Expr/App.hs:1753)
    bvOrSingleton (src/What4/Expr/App.hs:1744)
    bvOrInsert (src/What4/Expr/App.hs:1741)
    bvOrUnion (src/What4/Expr/App.hs:1750)
    bvOrAbs (src/What4/Expr/App.hs:1756)
    traverseBVOrSet (src/What4/Expr/App.hs:1735)
    ArrayResultWrapper (src/What4/Interface.hs:410)
Warning: 'NatRepr' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  66% ( 24 / 36) in 'What4.Protocol.VerilogWriter.AST'
  Missing documentation for:
    Module header
    Identifier (src/What4/Protocol/VerilogWriter/AST.hs:35)
    binopType (src/What4/Protocol/VerilogWriter/AST.hs:62)
    iexpType (src/What4/Protocol/VerilogWriter/AST.hs:97)
    LHS (src/What4/Protocol/VerilogWriter/AST.hs:100)
    expType (src/What4/Protocol/VerilogWriter/AST.hs:127)
    VerilogM (src/What4/Protocol/VerilogWriter/AST.hs:307)
    Module (src/What4/Protocol/VerilogWriter/AST.hs:318)
    initModuleState (src/What4/Protocol/VerilogWriter/AST.hs:339)
    runVerilogM (src/What4/Protocol/VerilogWriter/AST.hs:354)
    execVerilogM (src/What4/Protocol/VerilogWriter/AST.hs:360)
    addBoundInput (src/What4/Protocol/VerilogWriter/AST.hs:369)
  50% (  1 /  2) in 'What4.Protocol.VerilogWriter.Backend'
  Missing documentation for:
    Module header
   7% (  1 / 14) in 'What4.Protocol.VerilogWriter.ABCVerilog'
  Missing documentation for:
    Module header
    moduleDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:27)
    typeDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:43)
    identDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:51)
    lhsDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:54)
    inputDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:59)
    wireDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:63)
    unopDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:71)
    binopDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:75)
    decDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:100)
    iexpDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:103)
    rotateDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:107)
    expDoc (src/What4/Protocol/VerilogWriter/ABCVerilog.hs:113)
  50% (  2 /  4) in 'What4.Protocol.VerilogWriter'
  Missing documentation for:
    Module header
    Module (src/What4/Protocol/VerilogWriter/AST.hs:318)
 100% (  3 /  3) in 'What4.Expr.Simplify'
  86% ( 13 / 15) in 'What4.Expr.GroundEval'
  Missing documentation for:
    GroundValue (src/What4/Expr/GroundEval.hs:75)
    groundEq (src/What4/Expr/GroundEval.hs:250)
  55% (  5 /  9) in 'What4.Solver.Adapter'
  Missing documentation for:
    defaultSolverAdapter (src/What4/Solver/Adapter.hs:114)
    solverAdapterOptions (src/What4/Solver/Adapter.hs:126)
    logCallback (src/What4/Solver/Adapter.hs:89)
    defaultLogData (src/What4/Solver/Adapter.hs:92)
Warning: 'findM' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'v' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'i' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'a' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'checkCommand' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ret_type' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ret' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  64% ( 36 / 56) in 'What4.Protocol.SMTWriter'
  Missing documentation for:
    ArrayConstantFn (src/What4/Protocol/SMTWriter.hs:266)
    SMTEvalBVArrayFn (src/What4/Protocol/SMTWriter.hs:3037)
    SMTEvalBVArrayWrapper (src/What4/Protocol/SMTWriter.hs:3045)
    app (src/What4/Protocol/SMTWriter.hs:495)
    app_list (src/What4/Protocol/SMTWriter.hs:499)
    builder_list (src/What4/Protocol/SMTWriter.hs:504)
    WriterConn (src/What4/Protocol/SMTWriter.hs:600)
    newWriterConn (src/What4/Protocol/SMTWriter.hs:710)
    popEntryStack (src/What4/Protocol/SMTWriter.hs:702)
    cacheLookupFnNameBimap (src/What4/Protocol/SMTWriter.hs:832)
    Command (src/What4/Protocol/SMTWriter.hs:853)
    addCommandNoAck (src/What4/Protocol/SMTWriter.hs:1020)
    assumeFormulaWithName (src/What4/Protocol/SMTWriter.hs:1080)
    assumeFormulaWithFreshName (src/What4/Protocol/SMTWriter.hs:1086)
    DefineStyle (src/What4/Protocol/SMTWriter.hs:1177)
    addSynthFun (src/What4/Protocol/SMTWriter.hs:1092)
    addDeclareVar (src/What4/Protocol/SMTWriter.hs:1124)
    addConstraint (src/What4/Protocol/SMTWriter.hs:1143)
    mkAtomicFormula (src/What4/Protocol/SMTWriter.hs:3021)
    SMTEvalFunctions (src/What4/Protocol/SMTWriter.hs:3048)
  37% (  3 /  8) in 'What4.Protocol.SMTLib2.Response'
  Missing documentation for:
    SMTResponse (src/What4/Protocol/SMTLib2/Response.hs:68)
    SMTLib2Exception (src/What4/Protocol/SMTLib2/Response.hs:215)
    smtParseOptions (src/What4/Protocol/SMTLib2/Response.hs:64)
    strictSMTParsing (src/What4/Protocol/SMTLib2/Response.hs:50)
    strictSMTParseOpt (src/What4/Protocol/SMTLib2/Response.hs:53)
  57% ( 45 / 78) in 'What4.Expr'
  Missing documentation for:
    newExprBuilder (src/What4/Expr/Builder.hs:647)
    userState (src/What4/Expr/Builder.hs:407)
    exprCounter (src/What4/Expr/Builder.hs:404)
    curProgramLoc (src/What4/Expr/Builder.hs:557)
    unaryThreshold (src/What4/Expr/Builder.hs:410)
    cacheStartSize (src/What4/Expr/Builder.hs:413)
    FloatModeRepr (src/What4/FloatMode.hs:56)
    Flags (src/What4/Expr/Builder.hs:341)
    BoolExpr (src/What4/Expr/App.hs:1027)
    IntegerExpr (src/What4/Expr/App.hs:1030)
    RealExpr (src/What4/Expr/App.hs:1031)
    BVExpr (src/What4/Expr/App.hs:1029)
    CplxExpr (src/What4/Expr/App.hs:1032)
    StringExpr (src/What4/Expr/App.hs:1033)
    exprLoc (src/What4/Expr/App.hs:1005)
    appExprId (src/What4/Expr/App.hs:125)
    appExprLoc (src/What4/Expr/App.hs:126)
    appExprApp (src/What4/Expr/App.hs:127)
    nonceExprId (src/What4/Expr/App.hs:111)
    nonceExprLoc (src/What4/Expr/App.hs:112)
    nonceExprApp (src/What4/Expr/App.hs:113)
    bvarId (src/What4/Expr/App.hs:664)
    bvarLoc (src/What4/Expr/App.hs:665)
    bvarName (src/What4/Expr/App.hs:666)
    bvarKind (src/What4/Expr/App.hs:668)
    boundVars (src/What4/Expr/App.hs:1378)
    symFnArgTypes (src/What4/Expr/App.hs:1690)
    symFnReturnType (src/What4/Expr/App.hs:1697)
    SemiRingRepr (src/What4/SemiRing.hs:106)
    BVFlavorRepr (src/What4/SemiRing.hs:102)
    quantTheory (src/What4/Expr/AppTheory.hs:41)
    appTheory (src/What4/Expr/AppTheory.hs:64)
    GroundValue (src/What4/Expr/GroundEval.hs:75)
Warning: 'name_nonce' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: Couldn't find .haddock for export WellFormedSExpr
Warning: Couldn't find .haddock for export L
Warning: Couldn't find .haddock for export A
  50% ( 13 / 26) in 'What4.Serialize.Printer'
  Missing documentation for:
    Module header
    serializeBaseType (src/What4/Serialize/Printer.hs:219)
    Result (src/What4/Serialize/Printer.hs:138)
    defaultConfig (src/What4/Serialize/Printer.hs:153)
    SExpr (src/What4/Serialize/Printer.hs:80)
    Atom (src/What4/Serialize/SETokens.hs:44)
    SomeExprSymFn (src/What4/Serialize/Printer.hs:82)
    WellFormedSExpr
    string (src/What4/Serialize/SETokens.hs:66)
    ppFreeVarEnv (src/What4/Serialize/Printer.hs:102)
    ppFreeSymFnEnv (src/What4/Serialize/Printer.hs:111)
    L
    A
Warning: 'MonadError' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: Couldn't find .haddock for export WellFormedSExpr
  26% (  4 / 15) in 'What4.Serialize.Parser'
  Missing documentation for:
    deserializeExprWithConfig (src/What4/Serialize/Parser.hs:142)
    deserializeSymFnWithConfig (src/What4/Serialize/Parser.hs:166)
    deserializeBaseType (src/What4/Serialize/Parser.hs:181)
    readBaseTypes (src/What4/Serialize/Parser.hs:248)
    Atom (src/What4/Serialize/SETokens.hs:44)
    WellFormedSExpr
    Config (src/What4/Serialize/Parser.hs:73)
    defaultConfig (src/What4/Serialize/Parser.hs:81)
    SomeSymFn (src/What4/Serialize/Parser.hs:71)
    SExpr (src/What4/Serialize/Printer.hs:80)
    parseSExpr (src/What4/Serialize/SETokens.hs:258)
  33% (  2 /  6) in 'What4.Serialize.Normalize'
  Missing documentation for:
    normExpr (src/What4/Serialize/Normalize.hs:54)
    testEquivSymFn (src/What4/Serialize/Normalize.hs:135)
    testEquivExpr (src/What4/Serialize/Normalize.hs:125)
    ExprEquivResult (src/What4/Serialize/Normalize.hs:123)
Warning: '(exit)' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'killProcess' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'UNSAT' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  93% ( 28 / 30) in 'What4.Protocol.Online'
  Missing documentation for:
    checkWithAssumptions (src/What4/Protocol/Online.hs:403)
    checkWithAssumptionsAndModel (src/What4/Protocol/Online.hs:430)
Warning: 'SymBV' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% (  4 /  4) in 'What4.Utils.ResolveBounds.BV'
  54% ( 32 / 59) in 'What4.Protocol.SMTLib2'
  Missing documentation for:
    Writer (src/What4/Protocol/SMTLib2.hs:478)
    newWriter (src/What4/Protocol/SMTLib2.hs:645)
    writeExit (src/What4/Protocol/SMTLib2.hs:767)
    writeGetValue (src/What4/Protocol/SMTLib2.hs:786)
    writeGetAbduct (src/What4/Protocol/SMTLib2.hs:789)
    writeGetAbductNext (src/What4/Protocol/SMTLib2.hs:792)
    asSMT2Type (src/What4/Protocol/SMTLib2.hs:443)
    setOption (src/What4/Protocol/SMTLib2.hs:773)
    getVersion (src/What4/Protocol/SMTLib2.hs:776)
    getName (src/What4/Protocol/SMTLib2.hs:779)
    smtLibEvalFuns (src/What4/Protocol/SMTLib2.hs:1374)
    smtlib2Options (src/What4/Protocol/SMTLib2.hs:177)
    parseFnModel (src/What4/Protocol/SMTLib2.hs:924)
    parseFnValues (src/What4/Protocol/SMTLib2.hs:933)
    setLogic (src/What4/Protocol/SMTLib2.hs:770)
    arrayConst (src/What4/Protocol/SMTLib2.hs:219)
    arraySelect (src/What4/Protocol/SMTLib2.hs:222)
    arrayStore (src/What4/Protocol/SMTLib2.hs:225)
    SMTLib2GenericSolver (src/What4/Protocol/SMTLib2.hs:1399)
    defaultFileWriter (src/What4/Protocol/SMTLib2.hs:1526)
    startSolver (src/What4/Protocol/SMTLib2.hs:1545)
    shutdownSolver (src/What4/Protocol/SMTLib2.hs:1595)
    smtAckResult (src/What4/Protocol/SMTLib2.hs:1368)
    SMTLib2Exception (src/What4/Protocol/SMTLib2/Response.hs:215)
    ppSolverVersionCheckError (src/What4/Protocol/SMTLib2.hs:1618)
    ppSolverVersionError (src/What4/Protocol/SMTLib2.hs:1636)
    WriterConn (src/What4/Protocol/SMTWriter.hs:600)
  42% (  6 / 14) in 'What4.Solver.Z3'
  Missing documentation for:
    Z3 (src/What4/Solver/Z3.hs:63)
    z3Adapter (src/What4/Solver/Z3.hs:110)
    z3Options (src/What4/Solver/Z3.hs:91)
    z3TacticDefault (src/What4/Solver/Z3.hs:88)
    z3Features (src/What4/Solver/Z3.hs:152)
    runZ3InOverride (src/What4/Solver/Z3.hs:197)
    writeZ3SMT2File (src/What4/Solver/Z3.hs:162)
    writeZ3HornSMT2File (src/What4/Solver/Z3.hs:295)
  65% ( 21 / 32) in 'What4.Solver.Yices'
  Missing documentation for:
    newConnection (src/What4/Solver/Yices.hs:432)
    sendCheckExistsForall (src/What4/Solver/Yices.hs:736)
    eval (src/What4/Solver/Yices.hs:758)
    setParam (src/What4/Solver/Yices.hs:742)
    setYicesParams (src/What4/Solver/Yices.hs:753)
    yicesType (src/What4/Solver/Yices.hs:369)
    assertForall (src/What4/Solver/Yices.hs:739)
    efSolveCommand (src/What4/Solver/Yices.hs:391)
    yicesAdapter (src/What4/Solver/Yices.hs:935)
    yicesOptions (src/What4/Solver/Yices.hs:980)
    yicesDefaultFeatures (src/What4/Solver/Yices.hs:929)
  44% (  4 /  9) in 'What4.Solver.STP'
  Missing documentation for:
    STP (src/What4/Solver/STP.hs:42)
    stpAdapter (src/What4/Solver/STP.hs:88)
    stpOptions (src/What4/Solver/STP.hs:70)
    stpFeatures (src/What4/Solver/STP.hs:114)
    runSTPInOverride (src/What4/Solver/STP.hs:117)
  28% (  2 /  7) in 'What4.Solver.ExternalABC'
  Missing documentation for:
    ExternalABC (src/What4/Solver/ExternalABC.hs:44)
    externalABCAdapter (src/What4/Solver/ExternalABC.hs:70)
    abcOptions (src/What4/Solver/ExternalABC.hs:58)
    runExternalABCInOverride (src/What4/Solver/ExternalABC.hs:122)
    writeABCSMT2File (src/What4/Solver/ExternalABC.hs:104)
  27% (  3 / 11) in 'What4.Solver.DReal'
  Missing documentation for:
    DReal (src/What4/Solver/DReal.hs:65)
    DRealBindings (src/What4/Solver/DReal.hs:129)
    getAvgBindings (src/What4/Solver/DReal.hs:131)
    getBoundBindings (src/What4/Solver/DReal.hs:192)
    drealOptions (src/What4/Solver/DReal.hs:74)
    drealAdapter (src/What4/Solver/DReal.hs:85)
    writeDRealSMT2File (src/What4/Solver/DReal.hs:106)
    runDRealInOverride (src/What4/Solver/DReal.hs:280)
Warning: 'defaultSolverArgs' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'setDefaultLogicAndOptions' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  42% (  6 / 14) in 'What4.Solver.CVC5'
  Missing documentation for:
    CVC5 (src/What4/Solver/CVC5.hs:66)
    cvc5Features (src/What4/Solver/CVC5.hs:136)
    cvc5Adapter (src/What4/Solver/CVC5.hs:101)
    cvc5Options (src/What4/Solver/CVC5.hs:84)
    runCVC5InOverride (src/What4/Solver/CVC5.hs:204)
    writeCVC5SMT2File (src/What4/Solver/CVC5.hs:172)
    writeMultiAsmpCVC5SMT2File (src/What4/Solver/CVC5.hs:151)
    writeCVC5SyFile (src/What4/Solver/CVC5.hs:350)
  36% (  4 / 11) in 'What4.Solver.CVC4'
  Missing documentation for:
    CVC4 (src/What4/Solver/CVC4.hs:59)
    cvc4Features (src/What4/Solver/CVC4.hs:142)
    cvc4Adapter (src/What4/Solver/CVC4.hs:107)
    cvc4Options (src/What4/Solver/CVC4.hs:86)
    runCVC4InOverride (src/What4/Solver/CVC4.hs:203)
    writeCVC4SMT2File (src/What4/Solver/CVC4.hs:173)
    writeMultiAsmpCVC4SMT2File (src/What4/Solver/CVC4.hs:152)
  44% (  4 /  9) in 'What4.Solver.Boolector'
  Missing documentation for:
    Boolector (src/What4/Solver/Boolector.hs:49)
    boolectorOptions (src/What4/Solver/Boolector.hs:67)
    boolectorAdapter (src/What4/Solver/Boolector.hs:85)
    runBoolectorInOverride (src/What4/Solver/Boolector.hs:99)
    boolectorFeatures (src/What4/Solver/Boolector.hs:123)
  46% ( 39 / 84) in 'What4.Solver'
  Missing documentation for:
    defaultSolverAdapter (src/What4/Solver/Adapter.hs:114)
    solverAdapterOptions (src/What4/Solver/Adapter.hs:126)
    logCallback (src/What4/Solver/Adapter.hs:89)
    defaultLogData (src/What4/Solver/Adapter.hs:92)
    ExternalABC (src/What4/Solver/ExternalABC.hs:44)
    externalABCAdapter (src/What4/Solver/ExternalABC.hs:70)
    abcOptions (src/What4/Solver/ExternalABC.hs:58)
    runExternalABCInOverride (src/What4/Solver/ExternalABC.hs:122)
    writeABCSMT2File (src/What4/Solver/ExternalABC.hs:104)
    Boolector (src/What4/Solver/Boolector.hs:49)
    boolectorAdapter (src/What4/Solver/Boolector.hs:85)
    runBoolectorInOverride (src/What4/Solver/Boolector.hs:99)
    boolectorOptions (src/What4/Solver/Boolector.hs:67)
    boolectorFeatures (src/What4/Solver/Boolector.hs:123)
    CVC4 (src/What4/Solver/CVC4.hs:59)
    cvc4Adapter (src/What4/Solver/CVC4.hs:107)
    runCVC4InOverride (src/What4/Solver/CVC4.hs:203)
    writeCVC4SMT2File (src/What4/Solver/CVC4.hs:173)
    cvc4Options (src/What4/Solver/CVC4.hs:86)
    cvc4Features (src/What4/Solver/CVC4.hs:142)
    CVC5 (src/What4/Solver/CVC5.hs:66)
    cvc5Adapter (src/What4/Solver/CVC5.hs:101)
    runCVC5InOverride (src/What4/Solver/CVC5.hs:204)
    writeCVC5SMT2File (src/What4/Solver/CVC5.hs:172)
    cvc5Options (src/What4/Solver/CVC5.hs:84)
    cvc5Features (src/What4/Solver/CVC5.hs:136)
    DReal (src/What4/Solver/DReal.hs:65)
    DRealBindings (src/What4/Solver/DReal.hs:129)
    drealAdapter (src/What4/Solver/DReal.hs:85)
    runDRealInOverride (src/What4/Solver/DReal.hs:280)
    writeDRealSMT2File (src/What4/Solver/DReal.hs:106)
    STP (src/What4/Solver/STP.hs:42)
    stpAdapter (src/What4/Solver/STP.hs:88)
    runSTPInOverride (src/What4/Solver/STP.hs:117)
    stpOptions (src/What4/Solver/STP.hs:70)
    stpFeatures (src/What4/Solver/STP.hs:114)
    yicesAdapter (src/What4/Solver/Yices.hs:935)
    yicesOptions (src/What4/Solver/Yices.hs:980)
    yicesDefaultFeatures (src/What4/Solver/Yices.hs:929)
    Z3 (src/What4/Solver/Z3.hs:63)
    z3TacticDefault (src/What4/Solver/Z3.hs:88)
    z3Adapter (src/What4/Solver/Z3.hs:110)
    runZ3InOverride (src/What4/Solver/Z3.hs:197)
    z3Options (src/What4/Solver/Z3.hs:91)
    z3Features (src/What4/Solver/Z3.hs:152)
 100% (  6 /  6) in 'What4.WordMap'
Warning: Test.Verification: could not find link destinations for: 
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Types.Type
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
Warning: What4.BaseTypes: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.TypeNats.KnownNat
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- GHC.TypeNats.+
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Proxy.Proxy
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.EmptyCtx
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.LeqProof
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Data.Parameterized.TraversableFC.FoldableFC
	- Data.Parameterized.TraversableFC.FunctorFC
	- Data.Parameterized.TraversableFC.TraversableFC
	- What4.BaseTypes.FloatingPointPrecision
	- What4.BaseTypes.BaseBoolType
	- What4.BaseTypes.BaseIntegerType
	- What4.BaseTypes.BaseRealType
	- What4.BaseTypes.BaseBVType
	- What4.BaseTypes.BaseFloatType
	- What4.BaseTypes.BaseStringType
	- What4.BaseTypes.BaseComplexType
	- What4.BaseTypes.BaseStructType
	- What4.BaseTypes.BaseArrayType
	- What4.BaseTypes.Char8
	- What4.BaseTypes.Char16
	- What4.BaseTypes.Unicode
	- Data.Parameterized.TraversableFC.foldMapFC
	- Data.Parameterized.TraversableFC.foldlFC
	- Data.Parameterized.TraversableFC.foldlFC'
	- Data.Parameterized.TraversableFC.foldrFC
	- Data.Parameterized.TraversableFC.foldrFC'
	- Data.Parameterized.TraversableFC.toListFC
	- Data.Parameterized.TraversableFC.fmapFC
	- Data.Parameterized.TraversableFC.traverseFC
Warning: What4.FloatMode: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- What4.FloatMode.FloatIEEE
	- What4.FloatMode.FloatUninterpreted
	- What4.FloatMode.FloatReal
Warning: What4.FunctionName: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- Data.String.fromString
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- Data.String.IsString
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.Ordering
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Data.Text.Internal.Text
Warning: What4.IndexLit: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.BitVector.Sized.Internal.BV
Warning: What4.Panic: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Stack.Types.CallStack
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Exception.Type.SomeException
	- GHC.Exception.Type.Exception
	- Panic.PanicComponent
	- Panic.panicComponentIssues
	- Panic.panicComponentName
	- Panic.panicComponentRevision
	- GHC.Exception.Type.fromException
	- GHC.Exception.Type.toException
	- GHC.Exception.Type.displayException
Warning: What4.ProblemFeatures: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Classes./=
	- GHC.Bits.Bits
	- GHC.Bits.shiftR
	- GHC.Bits..&.
	- GHC.Bits..|.
	- GHC.Bits.xor
	- GHC.Bits.complement
	- GHC.Bits.shift
	- GHC.Bits.rotate
	- GHC.Bits.zeroBits
	- GHC.Bits.bit
	- GHC.Bits.setBit
	- GHC.Bits.clearBit
	- GHC.Bits.complementBit
	- GHC.Bits.testBit
	- GHC.Bits.bitSizeMaybe
	- GHC.Bits.bitSize
	- GHC.Bits.isSigned
	- GHC.Bits.shiftL
	- GHC.Bits.unsafeShiftL
	- GHC.Bits.unsafeShiftR
	- GHC.Bits.rotateL
	- GHC.Bits.rotateR
	- GHC.Bits.popCount
Warning: What4.ProgramLoc: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.fmap
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.Ordering
	- GHC.Word.Word64
	- GHC.Types.Type
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<$
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Control.Lens.Type.Lens'
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Data.Text.Internal.Text
	- Control.DeepSeq.NFData
	- Data.Foldable.fold
	- Data.Foldable.foldl'
	- Control.DeepSeq.rnf
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
Warning: What4.Protocol.PolyRoot: could not find link destinations for: 
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Real.Rational
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Data.Text.Internal.Text
	- Data.Attoparsec.Text.Internal.Parser
Warning: What4.Protocol.ReadDecimal: could not find link destinations for: 
	- Control.Monad.Fail.MonadFail
	- GHC.Base.String
	- GHC.Real.Rational
	- GHC.Base..
Warning: What4.Protocol.SExp: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- Data.String.fromString
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- Control.Monad.Fail.MonadFail
	- Data.String.IsString
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Text.Internal.Text
	- Data.Attoparsec.Text.Internal.Parser
Warning: What4.Protocol.SMTLib2.Parse: could not find link destinations for: 
	- GHC.Classes.==
	- Data.String.fromString
	- GHC.Classes.Eq
	- GHC.Show.Show
	- Data.String.IsString
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.IO.Handle.Types.Handle
Warning: What4.Protocol.SMTLib2.Syntax: could not find link destinations for: 
	- GHC.Num.fromInteger
	- GHC.Num.-
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Num.negate
	- Data.String.fromString
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Show.Show
	- Data.Typeable.Internal.Typeable
	- Data.String.IsString
	- GHC.Generics.Generic
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Generics.U1
	- GHC.Generics.:+:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Types.Symbol
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Generics.PrefixI
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.NoSourceStrictness
	- GHC.Generics.DecidedLazy
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- GHC.Num.*
	- GHC.Num.+
	- GHC.Num.abs
	- GHC.Num.signum
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.MonadPlus
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Data.Parameterized.Some.Some
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.Text.Internal.Text
	- Data.Data.Constr
	- Data.Data.DataType
	- GHC.Generics.from
	- GHC.Generics.to
	- Data.BitVector.Sized.Internal.BV
	- Data.Text.Internal.Builder.Builder
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
	- LibBF.BigFloat
Warning: What4.SatResult: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Generics.Generic
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- GHC.Generics.U1
	- GHC.Generics.:+:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Types.Symbol
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Generics.PrefixI
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.NoSourceStrictness
	- GHC.Generics.DecidedLazy
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Generics.from
	- GHC.Generics.to
Warning: What4.SemiRing: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.Type
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.BitVector.Sized.Internal.BV
	- What4.SemiRing.SemiRingInteger
	- What4.SemiRing.SemiRingReal
	- What4.SemiRing.SemiRingBV
	- What4.SemiRing.BVArith
	- What4.SemiRing.BVBits
Warning: What4.Serialize.Log: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Read.Read
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Types.IO
	- GHC.Stack.Types.CallStack
	- GHC.Maybe.Nothing
	- GHC.Float.log
	- GHC.IO.FilePath
	- GHC.Read.readList
	- GHC.Read.readsPrec
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Control.Monad.IO.Class.MonadIO
	- GHC.Stack.Types.SrcLoc
	- GHC.Read.readListPrec
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.Read.readPrec
	- Data.Time.Clock.Internal.UTCTime.UTCTime
	- Control.Monad.IO.Unlift.MonadUnliftIO
	- What4.Serialize.Log.ThreadId
Warning: What4.Serialize.SETokens: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- Data.Either.Either
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Parameterized.Some.Some
	- Data.Text.Internal.Text
	- Data.Sequence.Internal.Seq
	- LibBF.BigFloat
	- What4.Serialize.SETokens.SExpr
Warning: What4.Serialize.FastSExpr: could not find link destinations for: 
	- GHC.Base.String
	- Data.Either.Either
	- Data.Text.Internal.Text
Warning: What4.SpecialFunctions: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.EmptyCtx
Warning: What4.Symbol: could not find link destinations for: 
	- GHC.Num.-
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.Ordering
	- Data.Either.Either
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Text.Internal.Text
Warning: What4.Utils.AnnotatedMap: could not find link destinations for: 
	- GHC.Base.fmap
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<$
	- Data.Foldable.fold
	- Data.Foldable.foldl'
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
Warning: What4.Utils.Arithmetic: could not find link destinations for: 
	- GHC.Real.Integral
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Real.RealFrac
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Real.Rational
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- GHC.Bits.Bits
Warning: What4.Utils.BVDomain.Arith: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.TypeNats.+
	- GHC.Real.mod
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
Warning: What4.Utils.BVDomain.Bitwise: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.TypeNats.+
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
Warning: What4.Utils.BVDomain.XOR: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
Warning: What4.Utils.BVDomain: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.TypeNats.+
	- GHC.Real.mod
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
Warning: What4.Utils.Complex: could not find link destinations for: 
	- GHC.Num.fromInteger
	- GHC.Num.-
	- GHC.Real.fromRational
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Num.negate
	- GHC.Base.fmap
	- GHC.Real.toRational
	- GHC.Classes.Eq
	- GHC.Float.Floating
	- GHC.Real.Fractional
	- GHC.Real.Integral
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Real.Real
	- GHC.Float.RealFloat
	- GHC.Real.RealFrac
	- GHC.Show.Show
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Generics.Generic
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.Type
	- GHC.Generics.:*:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Types.Symbol
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Generics.InfixI
	- GHC.Generics.NotAssociative
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.SourceStrict
	- GHC.Generics.DecidedStrict
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<$
	- GHC.Float.**
	- GHC.Float.acos
	- GHC.Float.acosh
	- GHC.Float.asin
	- GHC.Float.asinh
	- GHC.Float.atan
	- GHC.Float.atanh
	- GHC.Float.cos
	- GHC.Float.cosh
	- GHC.Float.exp
	- GHC.Float.log
	- GHC.Float.logBase
	- GHC.Float.pi
	- GHC.Float.sin
	- GHC.Float.sinh
	- GHC.Float.sqrt
	- GHC.Float.tan
	- GHC.Float.tanh
	- GHC.Num.*
	- GHC.Num.+
	- GHC.Num.abs
	- GHC.Num.signum
	- GHC.Real./
	- GHC.Real.recip
	- GHC.Real.ceiling
	- GHC.Real.floor
	- GHC.Real.properFraction
	- GHC.Real.round
	- GHC.Real.truncate
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Float.expm1
	- GHC.Float.log1mexp
	- GHC.Float.log1p
	- GHC.Float.log1pexp
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Parameterized.Classes.PolyEq
	- Data.Parameterized.Classes.polyEq
	- Data.Parameterized.Classes.polyEqF
	- Data.Foldable.fold
	- GHC.Generics.from
	- GHC.Generics.to
	- Data.Foldable.foldl'
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
Warning: What4.Utils.Endian: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.Ordering
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
Warning: What4.Utils.Environment: could not find link destinations for: 
	- Control.Monad.Fail.MonadFail
	- GHC.Base.String
	- GHC.Types.IO
	- GHC.IO.FilePath
	- Control.Monad.IO.Class.MonadIO
	- Data.Map.Internal.Map
Warning: What4.Utils.FloatHelpers: could not find link destinations for: 
	- GHC.Enum.enumFrom
	- GHC.Enum.enumFromThen
	- GHC.Enum.enumFromTo
	- GHC.Enum.enumFromThenTo
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Enum.Enum
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Generics.Generic
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.Type
	- GHC.Generics.U1
	- GHC.Generics.:+:
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.Rep
	- GHC.Types.False
	- GHC.Generics.PrefixI
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Enum.fromEnum
	- GHC.Enum.pred
	- GHC.Enum.succ
	- GHC.Enum.toEnum
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- GHC.Generics.from
	- GHC.Generics.to
	- LibBF.BigFloat
	- LibBF.Opts.BFOpts
	- LibBF.Opts.RoundMode
	- LibBF.Opts.Status
Warning: What4.Utils.HandleReader: could not find link destinations for: 
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.Conc.Sync.ThreadId
	- Control.Concurrent.Chan.Chan
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
Warning: What4.Utils.IncrHash: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Classes.Ord
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Types.Ordering
	- GHC.Base.NonEmpty
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
Warning: What4.Expr.BoolMap: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.TestEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.OrdF
Warning: What4.Utils.LeqMap: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Base.fmap
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<$
	- GHC.Classes./=
	- Data.Foldable.fold
	- Data.Foldable.foldl'
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
Warning: What4.Utils.MonadST: could not find link destinations for: 
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- Control.Monad.Fix.mfix
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Real.Integral
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Show.Show
	- Control.Monad.Fix.MonadFix
	- GHC.Base.Applicative
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Prim.State#
	- GHC.Types.IO
	- GHC.Word.Word8
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Control.Monad.Trans.Reader.ReaderT
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Control.Monad.Primitive.PrimState
	- Control.Monad.Primitive.PrimMonad
	- Control.Monad.Primitive.primitive
	- GHC.Exception.Type.Exception
	- Control.Monad.Catch.MonadThrow
	- Control.Monad.Catch.throwM
	- Control.Monad.Trans.Cont.ContT
	- Control.Monad.Trans.State.Strict.StateT
	- Control.Monad.Trans.State.Lazy.StateT
	- Control.Monad.Trans.Writer.Strict.WriterT
	- Control.Monad.Trans.Writer.Lazy.WriterT
	- Control.Monad.Primitive.PrimBase
	- Control.Monad.Primitive.internal
	- Data.ByteString.Short.Internal.ShortByteString
	- System.Random.Internal.StatefulGen
	- System.Random.Internal.FrozenGen
	- System.Random.Internal.MutableGen
	- System.Random.Internal.freezeGen
	- System.Random.Internal.thawGen
	- System.Random.Internal.RandomGen
	- System.Random.Internal.uniformShortByteString
	- System.Random.Internal.uniformWord16
	- System.Random.Internal.uniformWord32
	- System.Random.Internal.uniformWord32R
	- System.Random.Internal.uniformWord64
	- System.Random.Internal.uniformWord64R
	- System.Random.Internal.uniformWord8
	- System.Random.Stateful.RandomGenM
	- System.Random.Stateful.applyRandomGenM
	- System.Random.Stateful.STGen
	- System.Random.Stateful.STGenM
Warning: What4.Utils.OnlyIntRepr: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
Warning: What4.Utils.Streams: could not find link destinations for: 
	- GHC.Base.String
	- GHC.Types.IO
	- Data.ByteString.Internal.Type.ByteString
	- System.IO.Streams.Internal.InputStream
Warning: What4.Utils.Versions: could not find link destinations for: 
	- Language.Haskell.TH.Syntax.lift
	- Language.Haskell.TH.Syntax.liftTyped
	- Language.Haskell.TH.Syntax.Lift
	- Language.Haskell.TH.Syntax.Quote
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.Prim.TYPE
	- Language.Haskell.TH.Syntax.Exp
	- Language.Haskell.TH.Syntax.Q
	- Language.Haskell.TH.Syntax.Code
	- GHC.IO.FilePath
	- Data.Text.Internal.Text
	- Data.Versions.Version
Warning: What4.Utils.Word16String: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Word.Word16
	- GHC.Base.NonEmpty
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.ByteString.Internal.Type.ByteString
Warning: What4.Utils.StringLiteral: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- Data.String.fromString
	- GHC.Base.<>
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Classes.Ord
	- GHC.Show.Show
	- Data.String.IsString
	- GHC.Base.Semigroup
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.ByteString.Internal.Type.ByteString
	- Data.Text.Internal.Text
Warning: What4.Utils.AbstractDomains: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.Type
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Type.Ord.<=
Warning: What4.Expr.WeightedSum: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.OrdF
	- Control.Lens.Type.Lens'
Warning: What4.Expr.ArrayUpdateMap: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.TestEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Set.Internal.Set
	- Data.Map.Internal.Map
Warning: What4.Concrete: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Ctx.::>
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Prettyprinter.Internal.Doc
	- Data.Map.Internal.Map
	- Data.BitVector.Sized.Internal.BV
	- LibBF.BigFloat
Warning: What4.Config: could not find link destinations for: 
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Real.Integral
	- GHC.Show.Show
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Base.Void
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- GHC.Exception.Type.SomeException
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Some.Some
	- Data.Set.Internal.Set
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Sequence.Internal.Seq
	- GHC.Exception.Type.Exception
	- Data.Map.Internal.Map
	- GHC.Exception.Type.fromException
	- GHC.Exception.Type.toException
	- GHC.Exception.Type.displayException
	- What4.Config.OptRef
	- What4.Config.insertOption
Warning: What4.Utils.Process: could not find link destinations for: 
	- GHC.Base.String
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.IO.FilePath
	- GHC.Exception.Type.SomeException
	- GHC.IO.Handle.Types.Handle
	- GHC.IO.Exception.ExitCode
	- Control.Exception.Base.catchJust
	- Control.Exception.Base.tryJust
	- System.Process.Common.ProcessHandle
Warning: What4.Interface: could not find link destinations for: 
	- GHC.Enum.enumFrom
	- GHC.Enum.enumFromThen
	- GHC.Enum.enumFromTo
	- GHC.Enum.enumFromThenTo
	- GHC.Classes.==
	- GHC.Classes.>=
	- Data.String.fromString
	- GHC.Base.<>
	- GHC.Enum.Enum
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Base.Monad
	- GHC.Classes.Ord
	- GHC.Real.Real
	- GHC.Show.Show
	- Control.Monad.Fail.MonadFail
	- Data.String.IsString
	- GHC.Generics.Generic
	- GHC.Base.Semigroup
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Generics.U1
	- GHC.Generics.:+:
	- GHC.Generics.:*:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Types.Symbol
	- GHC.TypeNats.+
	- GHC.TypeNats.*
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Maybe.Just
	- GHC.Types.True
	- GHC.Generics.PrefixI
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.SourceStrict
	- GHC.Generics.NoSourceStrictness
	- GHC.Generics.DecidedLazy
	- GHC.Generics.DecidedStrict
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- GHC.Enum.fromEnum
	- GHC.Enum.pred
	- GHC.Enum.succ
	- GHC.Enum.toEnum
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Control.Monad.IO.Class.MonadIO
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- GHC.Exception.Type.SomeException
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Context.CurryAssignment
	- Data.Parameterized.Context.CurryAssignmentClass
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Context.Unsafe.Index
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.EmptyCtx
	- Data.Parameterized.Ctx.SingleCtx
	- Data.Parameterized.Some.Some
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.Set.Internal.Set
	- Prettyprinter.Internal.Doc
	- Data.ByteString.Internal.Type.ByteString
	- Data.Text.Internal.Text
	- GHC.Generics.from
	- GHC.Generics.to
	- GHC.Exception.Type.Exception
	- Control.Lens.Type.Fold
	- Data.BitVector.Sized.Internal.BV
	- GHC.Exception.Type.fromException
	- GHC.Exception.Type.toException
	- Data.Scientific.Scientific
	- GHC.Exception.Type.displayException
	- LibBF.BigFloat
	- Data.Parameterized.Map.MapF
	- Data.Parameterized.Vector.Vector
	- Data.Parameterized.Nonce.Nonce
Warning: What4.Utils.Serialize: could not find link destinations for: 
	- GHC.Base.String
	- GHC.Types.IO
	- UnliftIO.Internals.Async.cancel
	- UnliftIO.Internals.Async.wait
	- UnliftIO.Internals.Async.withAsync
	- Control.Concurrent.Async.Internal.Async
	- Control.Monad.IO.Unlift.MonadUnliftIO
Warning: What4.SWord: could not find link destinations for: 
	- GHC.Real.Integral
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Data.Vector.Vector
	- Data.Type.Ord.<=
	- What4.SWord.PredBin
	- What4.SWord.SWordBin
	- What4.SWord.SWordUn
Warning: What4.SFloat: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Exception.Type.SomeException
	- Data.Parameterized.Some.Some
	- GHC.Exception.Type.Exception
	- GHC.Exception.Type.fromException
	- GHC.Exception.Type.toException
	- GHC.Exception.Type.displayException
	- LibBF.BigFloat
Warning: What4.Partial: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- Control.Monad.Fail.fail
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Show.Show
	- Data.Typeable.Internal.Typeable
	- Control.Monad.Fail.MonadFail
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Generics.Generic
	- GHC.Generics.Generic1
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.Generics.Par1
	- GHC.Generics.Rec1
	- GHC.Generics.:+:
	- GHC.Generics.:*:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Generics.Rep1
	- GHC.Types.Symbol
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Maybe.Just
	- GHC.Types.True
	- GHC.Generics.PrefixI
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.SourceStrict
	- GHC.Generics.NoSourceStrictness
	- GHC.Generics.DecidedLazy
	- GHC.Generics.DecidedStrict
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Control.Monad.IO.Class.MonadIO
	- Control.Monad.IO.Class.liftIO
	- Control.Monad.Trans.Class.MonadTrans
	- Control.Monad.Trans.Class.lift
	- GHC.Base.MonadPlus
	- Data.Functor.Classes.Eq1
	- Data.Functor.Classes.Ord1
	- Data.Data.Constr
	- Data.Data.DataType
	- GHC.Generics.from1
	- GHC.Generics.to1
	- Data.Foldable.fold
	- GHC.Generics.from
	- GHC.Generics.to
	- Data.Bifunctor.bimap
	- Data.Bifunctor.Bifunctor
	- Data.Bifoldable.Bifoldable
	- Data.Bifoldable.bifoldMap
	- Data.Bifunctor.first
	- Data.Bifunctor.second
	- Data.Bitraversable.Bitraversable
	- Data.Bitraversable.bitraverse
	- Data.Functor.Classes.Eq2
	- Data.Functor.Classes.liftEq2
	- Data.Functor.Classes.liftEq
	- Data.Functor.Classes.Ord2
	- Data.Functor.Classes.liftCompare2
	- Data.Functor.Classes.liftCompare
	- Data.Functor.Classes.Show2
	- Data.Functor.Classes.Show1
	- Data.Functor.Classes.liftShowsPrec2
	- Data.Functor.Classes.liftShowsPrec
	- Data.Functor.Classes.liftShowList
	- Data.Functor.Classes.liftShowList2
	- Data.Foldable.foldl'
	- Control.Lens.Type.Lens
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
	- Data.Bifoldable.bifoldr
	- Data.Bifoldable.bifold
	- Data.Bifoldable.bifoldl
Warning: What4.LabeledPred: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.fmap
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Show.Show
	- Data.Typeable.Internal.Typeable
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Generics.Generic
	- GHC.Generics.Generic1
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Types.Type
	- GHC.Generics.Par1
	- GHC.Generics.:*:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Generics.Rep1
	- GHC.Types.False
	- GHC.Maybe.Just
	- GHC.Types.True
	- GHC.Generics.PrefixI
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.SourceStrict
	- GHC.Generics.DecidedStrict
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<$
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.MonadPlus
	- Data.Functor.Classes.Eq1
	- Data.Functor.Classes.Ord1
	- Data.Data.Constr
	- Data.Data.DataType
	- GHC.Generics.from1
	- GHC.Generics.to1
	- Data.Foldable.fold
	- GHC.Generics.from
	- GHC.Generics.to
	- Data.Bifunctor.bimap
	- Data.Bifunctor.Bifunctor
	- Data.Bifoldable.Bifoldable
	- Data.Bifoldable.bifoldMap
	- Data.Bifunctor.first
	- Data.Bifunctor.second
	- Data.Bitraversable.Bitraversable
	- Data.Bitraversable.bitraverse
	- Data.Functor.Classes.Eq2
	- Data.Functor.Classes.liftEq2
	- Data.Functor.Classes.liftEq
	- Data.Functor.Classes.Ord2
	- Data.Functor.Classes.liftCompare2
	- Data.Functor.Classes.liftCompare
	- Data.Functor.Classes.Show2
	- Data.Functor.Classes.Show1
	- Data.Functor.Classes.liftShowsPrec2
	- Data.Functor.Classes.liftShowsPrec
	- Data.Functor.Classes.liftShowList
	- Data.Functor.Classes.liftShowList2
	- Data.Foldable.foldl'
	- Control.Lens.Type.Lens
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
	- Data.Bifoldable.bifoldr
	- Data.Bifoldable.bifold
	- Data.Bifoldable.bifoldl
Warning: What4.InterpretedFloatingPoint: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Double
	- GHC.Types.Float
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Word.Word16
	- GHC.Word.Word64
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.EmptyCtx
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- What4.InterpretedFloatingPoint.HalfFloat
	- What4.InterpretedFloatingPoint.SingleFloat
	- What4.InterpretedFloatingPoint.DoubleFloat
	- What4.InterpretedFloatingPoint.QuadFloat
	- What4.InterpretedFloatingPoint.X86_80Float
	- What4.InterpretedFloatingPoint.DoubleDoubleFloat
Warning: What4.Expr.UnaryBV: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.TypeNats.+
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Control.Lens.Type.Traversal
Warning: What4.Expr.StringSeq: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Type
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
Warning: What4.Expr.MATLAB: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.Classes./=
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.EmptyCtx
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Prettyprinter.Internal.Doc
Warning: What4.Expr.App: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.<>
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Base.Functor
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Generics.Generic
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Word.Word64
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Generics.:+:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Types.Symbol
	- GHC.TypeNats.+
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Generics.PrefixI
	- GHC.Generics.SourceUnpack
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.SourceStrict
	- GHC.Generics.DecidedStrict
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.EqF
	- Data.Parameterized.Classes.eqF
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.PolyEq
	- Data.Parameterized.Classes.polyEq
	- Data.Parameterized.Classes.polyEqF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Context.Unsafe.Index
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.SingleCtx
	- Data.Parameterized.Some.Some
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.Set.Internal.Set
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Data.Text.Internal.Text
	- GHC.Generics.from
	- GHC.Generics.to
	- Data.Map.Internal.Map
	- Data.Parameterized.TraversableFC.FoldableFC
	- Data.Parameterized.TraversableFC.FunctorFC
	- Data.Parameterized.TraversableFC.TraversableFC
	- Data.BitVector.Sized.Internal.BV
	- LibBF.BigFloat
	- Data.Parameterized.TraversableFC.foldMapFC
	- Data.Parameterized.TraversableFC.foldlFC
	- Data.Parameterized.TraversableFC.foldlFC'
	- Data.Parameterized.TraversableFC.foldrFC
	- Data.Parameterized.TraversableFC.foldrFC'
	- Data.Parameterized.TraversableFC.toListFC
	- Data.Parameterized.TraversableFC.fmapFC
	- Data.Parameterized.TraversableFC.traverseFC
	- Data.HashTable.ST.Basic.HashTable
	- Data.Parameterized.Nonce.Nonce
Warning: What4.Expr.AppTheory: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Types.Bool
	- GHC.Types.Ordering
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
Warning: What4.Expr.VarIdentification: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.Ordering
	- GHC.Base.Void
	- GHC.Types.Type
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Parameterized.Some.Some
	- Data.Set.Internal.Set
	- Prettyprinter.Internal.Doc
	- Data.Sequence.Internal.Seq
	- Data.Map.Internal.Map
	- Control.Lens.Type.Lens
	- Control.Lens.Type.Simple
Warning: What4.Expr.Allocator: could not find link destinations for: 
	- GHC.Types.Int
	- GHC.Types.IO
	- GHC.Types.False
	- GHC.IORef.IORef
	- Data.Parameterized.Nonce.NonceGenerator
Warning: What4.Expr.Builder: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- Control.Monad.Fail.fail
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Double
	- GHC.Types.Float
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.TypeNats.+
	- GHC.Types.False
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Control.Monad.IO.Class.MonadIO
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.PolyEq
	- Data.Parameterized.Classes.polyEq
	- Data.Parameterized.Classes.polyEqF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Context.CurryAssignment
	- Data.Parameterized.Context.CurryAssignmentClass
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Context.Unsafe.Index
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.EmptyCtx
	- Data.Parameterized.Ctx.SingleCtx
	- Data.Parameterized.Some.Some
	- GHC.TypeNats.Nat
	- Control.Lens.Type.Lens'
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.Set.Internal.Set
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Control.Lens.Type.Getter
	- Data.Parameterized.TraversableFC.FoldableFC
	- Data.Parameterized.TraversableFC.FunctorFC
	- Data.Parameterized.TraversableFC.TraversableFC
	- What4.FloatMode.FloatIEEE
	- What4.FloatMode.FloatUninterpreted
	- What4.FloatMode.FloatReal
	- Data.BitVector.Sized.Internal.BV
	- Data.Scientific.Scientific
	- LibBF.BigFloat
	- Data.Parameterized.TraversableFC.foldMapFC
	- Data.Parameterized.TraversableFC.foldlFC
	- Data.Parameterized.TraversableFC.foldlFC'
	- Data.Parameterized.TraversableFC.foldrFC
	- Data.Parameterized.TraversableFC.foldrFC'
	- Data.Parameterized.TraversableFC.toListFC
	- Data.Parameterized.TraversableFC.fmapFC
	- Data.Parameterized.TraversableFC.traverseFC
	- Data.Parameterized.Map.MapF
	- Data.Parameterized.Nonce.Nonce
	- Data.Parameterized.Nonce.NonceGenerator
Warning: What4.Protocol.VerilogWriter.AST: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Classes.Ord
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Num.Integer.Integer
	- GHC.Types.Ordering
	- GHC.Types.IO
	- GHC.Word.Word64
	- GHC.Types.Type
	- GHC.TypeNats.+
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Control.Monad.IO.Class.MonadIO
	- Control.Monad.IO.Class.liftIO
	- Data.Parameterized.Some.Some
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.Set.Internal.Set
	- Data.Text.Internal.Text
	- Control.Monad.Error.Class.MonadError
	- Control.Monad.Error.Class.catchError
	- Control.Monad.Error.Class.throwError
	- Control.Monad.State.Class.MonadState
	- Control.Monad.State.Class.get
	- Control.Monad.State.Class.put
	- Control.Monad.State.Class.state
	- Data.Map.Internal.Map
	- Control.Monad.Trans.Except.ExceptT
	- Control.Monad.Trans.State.Lazy.StateT
	- Data.BitVector.Sized.Internal.BV
	- Data.Parameterized.Pair.Pair
	- Data.Parameterized.Nonce.Nonce
Warning: What4.Protocol.VerilogWriter.ABCVerilog: could not find link destinations for: 
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Word.Word64
	- Data.Parameterized.Some.Some
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Prettyprinter.Internal.Doc
	- Data.BitVector.Sized.Internal.BV
Warning: What4.Protocol.VerilogWriter: could not find link destinations for: 
	- GHC.Base.String
	- GHC.Types.IO
	- Data.Parameterized.Some.Some
	- Prettyprinter.Internal.Doc
	- Data.Text.Internal.Text
	- Control.Monad.Trans.Except.ExceptT
Warning: What4.Expr.Simplify: could not find link destinations for: 
	- GHC.Types.Int
	- GHC.Types.IO
	- GHC.Word.Word64
	- Data.Map.Internal.Map
Warning: What4.Expr.GroundEval: could not find link destinations for: 
	- GHC.Base.Monad
	- GHC.Types.Bool
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Maybe.Nothing
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Map.Internal.Map
	- Control.Monad.Trans.Maybe.MaybeT
	- Data.BitVector.Sized.Internal.BV
	- LibBF.BigFloat
Warning: What4.Solver.Adapter: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Types.IO
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Exception.Type.SomeException
	- GHC.IO.Handle.Types.Handle
Warning: What4.Protocol.SMTWriter: could not find link destinations for: 
	- GHC.Enum.enumFrom
	- GHC.Enum.enumFromThen
	- GHC.Enum.enumFromTo
	- GHC.Enum.enumFromThenTo
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Enum.Enum
	- GHC.Classes.Eq
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Generics.Generic
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Types.Type
	- GHC.Generics.U1
	- GHC.Generics.:+:
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.Rep
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Maybe.Just
	- GHC.Generics.PrefixI
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Enum.fromEnum
	- GHC.Enum.pred
	- GHC.Enum.succ
	- GHC.Enum.toEnum
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Context.Unsafe.Index
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.SingleCtx
	- Data.Parameterized.Some.Some
	- GHC.TypeNats.Nat
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.Text.Internal.Text
	- GHC.Generics.from
	- GHC.Generics.to
	- Data.BitVector.Sized.Internal.BV
	- Data.Text.Internal.Builder.Builder
	- LibBF.BigFloat
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
	- Data.Bimap.Bimap
	- What4.Protocol.SMTWriter.BaseTypeError
	- What4.Protocol.SMTWriter.SMTCollector
Warning: What4.Protocol.SMTLib2.Response: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Exception.Type.SomeException
	- Data.Text.Internal.Text
	- GHC.Exception.Type.Exception
	- GHC.Exception.Type.fromException
	- GHC.Exception.Type.toException
	- GHC.Exception.Type.displayException
	- What4.Protocol.SMTLib2.Response.SMTLib2Intent
Warning: What4.Expr: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Double
	- GHC.Types.Float
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.TypeNats.+
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Hashable.Class.Hashable
	- Data.Hashable.Class.hash
	- Data.Hashable.Class.hashWithSalt
	- Data.Type.Equality.:~:
	- Data.Type.Equality.TestEquality
	- Data.Type.Equality.testEquality
	- Data.Parameterized.Classes.HashableF
	- Data.Parameterized.Classes.hashF
	- Data.Parameterized.Classes.hashWithSaltF
	- Data.Parameterized.Classes.OrdF
	- Data.Parameterized.Classes.compareF
	- Data.Parameterized.Classes.geqF
	- Data.Parameterized.Classes.gtF
	- Data.Parameterized.Classes.leqF
	- Data.Parameterized.Classes.ltF
	- Data.Parameterized.Classes.OrderingF
	- Data.Parameterized.Classes.PolyEq
	- Data.Parameterized.Classes.polyEq
	- Data.Parameterized.Classes.polyEqF
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Classes.showF
	- Data.Parameterized.Classes.showsPrecF
	- Data.Parameterized.Classes.withShow
	- Data.Parameterized.Context.CurryAssignment
	- Data.Parameterized.Context.CurryAssignmentClass
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Context.Unsafe.Index
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Ctx.EmptyCtx
	- Data.Parameterized.Ctx.SingleCtx
	- Data.Parameterized.Some.Some
	- GHC.TypeNats.Nat
	- Control.Lens.Type.Lens'
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Data.Set.Internal.Set
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Data.Map.Internal.Map
	- Control.Lens.Type.Getter
	- Data.Parameterized.TraversableFC.FoldableFC
	- Data.Parameterized.TraversableFC.FunctorFC
	- Data.Parameterized.TraversableFC.TraversableFC
	- What4.FloatMode.FloatIEEE
	- What4.FloatMode.FloatUninterpreted
	- What4.FloatMode.FloatReal
	- Data.BitVector.Sized.Internal.BV
	- Data.Scientific.Scientific
	- LibBF.BigFloat
	- Data.Parameterized.TraversableFC.foldMapFC
	- Data.Parameterized.TraversableFC.foldlFC
	- Data.Parameterized.TraversableFC.foldlFC'
	- Data.Parameterized.TraversableFC.foldrFC
	- Data.Parameterized.TraversableFC.foldrFC'
	- Data.Parameterized.TraversableFC.toListFC
	- Data.Parameterized.TraversableFC.fmapFC
	- Data.Parameterized.TraversableFC.traverseFC
	- Data.Parameterized.Map.MapF
	- Data.Parameterized.Nonce.Nonce
	- Data.Parameterized.Nonce.NonceGenerator
Warning: What4.Serialize.Printer: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.fmap
	- Data.String.fromString
	- GHC.IsList.IsList
	- GHC.IsList.fromList
	- GHC.IsList.fromListN
	- GHC.IsList.toList
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Read.Read
	- GHC.Show.Show
	- Data.Typeable.Internal.Typeable
	- Data.String.IsString
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.Type
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<$
	- GHC.Read.readList
	- GHC.Read.readsPrec
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.MonadPlus
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Some.Some
	- GHC.Read.readListPrec
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.IsList.Item
	- Data.Text.Internal.Text
	- Data.Data.Constr
	- Data.Data.DataType
	- Data.Sequence.Internal.Seq
	- Data.Foldable.fold
	- GHC.Read.readPrec
	- Data.Foldable.foldl'
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
	- LibBF.BigFloat
	- What4.Serialize.SETokens.SExpr
	- What4.Serialize.Printer.FnNameEnv
	- What4.Serialize.Printer.VarNameEnv
Warning: What4.Serialize.Parser: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.fmap
	- Data.String.fromString
	- GHC.IsList.IsList
	- GHC.IsList.fromList
	- GHC.IsList.fromListN
	- GHC.IsList.toList
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Read.Read
	- GHC.Show.Show
	- Data.Typeable.Internal.Typeable
	- Data.String.IsString
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- Data.Traversable.Traversable
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Types.Type
	- Data.Foldable.elem
	- Data.Foldable.foldMap
	- Data.Foldable.foldl
	- Data.Foldable.foldl1
	- Data.Foldable.foldr
	- Data.Foldable.foldr1
	- Data.Foldable.length
	- Data.Foldable.maximum
	- Data.Foldable.minimum
	- Data.Foldable.null
	- Data.Foldable.product
	- Data.Foldable.sum
	- Data.Traversable.mapM
	- Data.Traversable.sequence
	- Data.Traversable.sequenceA
	- Data.Traversable.traverse
	- GHC.Base.<$
	- GHC.Read.readList
	- GHC.Read.readsPrec
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Base.MonadPlus
	- Data.Parameterized.Classes.ShowF
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Some.Some
	- GHC.Read.readListPrec
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.IsList.Item
	- Data.Text.Internal.Text
	- Data.Data.Constr
	- Data.Data.DataType
	- Data.Sequence.Internal.Seq
	- Data.Foldable.fold
	- GHC.Read.readPrec
	- Data.Foldable.foldl'
	- Control.Monad.Error.Class.MonadError
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.toList
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
	- LibBF.BigFloat
	- What4.Serialize.SETokens.SExpr
Warning: What4.Serialize.Normalize: could not find link destinations for: 
	- GHC.Types.IO
	- Data.Parameterized.Context.Unsafe.Assignment
Warning: What4.Protocol.Online: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Types.Type
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Control.Monad.IO.Class.MonadIO
	- GHC.Exception.Type.SomeException
	- Data.Proxy.Proxy
	- Data.Parameterized.Some.Some
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.IORef.IORef
	- GHC.IO.Exception.ExitCode
	- GHC.IO.StdHandles.stdin
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
	- System.Process.Common.ProcessHandle
	- Control.Monad.Catch.MonadMask
Warning: What4.Utils.ResolveBounds.BV: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.IO
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Prettyprinter.Internal.Doc
	- Prettyprinter.Internal.Pretty
	- Prettyprinter.Internal.pretty
	- Prettyprinter.Internal.prettyList
	- Data.BitVector.Sized.Internal.maxUnsigned
	- Data.BitVector.Sized.Internal.BV
Warning: What4.Protocol.SMTLib2: could not find link destinations for: 
	- GHC.Num.fromInteger
	- GHC.Num.-
	- GHC.Num.negate
	- Data.String.fromString
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Real.Integral
	- GHC.Num.Num
	- GHC.Show.Show
	- Data.String.IsString
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Num.Natural.Natural
	- GHC.Maybe.Maybe
	- GHC.Real.Rational
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Num.*
	- GHC.Num.+
	- GHC.Num.abs
	- GHC.Num.signum
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- GHC.Exception.Type.SomeException
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Context.Unsafe.Index
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Some.Some
	- GHC.TypeNats.Nat
	- Data.Parameterized.NatRepr.Internal.NatRepr
	- Prettyprinter.Internal.Doc
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.Exception.Type.Exception
	- Data.Map.Internal.Map
	- Data.BitVector.Sized.Internal.BV
	- GHC.IO.Exception.ExitCode
	- GHC.Exception.Type.fromException
	- GHC.Exception.Type.toException
	- Data.Text.Internal.Builder.Builder
	- GHC.Exception.Type.displayException
	- LibBF.BigFloat
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
	- Data.Parameterized.Map.MapF
	- What4.Protocol.SMTLib2.Response.SMTLib2Intent
	- What4.Protocol.SMTLib2.SolverVersionError
	- What4.Protocol.SMTLib2.SolverVersionCheckError
Warning: What4.Solver.Z3: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.IO.Exception.ExitCode
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
	- Data.Parameterized.Map.MapF
Warning: What4.Solver.Yices: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Control.Monad.IO.Class.MonadIO
	- GHC.Exception.Type.SomeException
	- Data.Parameterized.Context.Unsafe.Assignment
	- Data.Parameterized.Context.Unsafe.Index
	- Data.Parameterized.Ctx.Ctx
	- Data.Parameterized.Some.Some
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.Exception.Type.Exception
	- GHC.IORef.IORef
	- GHC.IO.Exception.ExitCode
	- GHC.Exception.Type.fromException
	- GHC.Exception.Type.toException
	- Data.Text.Internal.Builder.Builder
	- GHC.Exception.Type.displayException
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
	- Control.Monad.Catch.MonadMask
	- What4.Solver.Yices.Eval
	- What4.Solver.Yices.YicesCommand
	- What4.Solver.Yices.YicesType
	- What4.Solver.Yices.Expr
Warning: What4.Solver.STP: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.IO.Exception.ExitCode
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
Warning: What4.Solver.ExternalABC: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
Warning: What4.Solver.DReal: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Real.Rational
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- Data.Map.Internal.Map
Warning: What4.Solver.CVC5: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.IO.Exception.ExitCode
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
	- Data.Parameterized.Map.MapF
	- What4.Solver.CVC5.CVC5_SyGuS
Warning: What4.Solver.CVC4: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.IO.Exception.ExitCode
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
Warning: What4.Solver.Boolector: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- GHC.IO.Exception.ExitCode
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
Warning: What4.Solver: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.Types.Type
	- GHC.IO.FilePath
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Exception.Type.SomeException
	- GHC.IO.Handle.Types.Handle
	- Data.Text.Internal.Text
	- Data.Text.Internal.Lazy.Text
	- Data.Map.Internal.Map
	- GHC.IO.Exception.ExitCode
	- System.IO.Streams.Internal.InputStream
	- System.IO.Streams.Internal.OutputStream
Warning: What4.WordMap: could not find link destinations for: 
	- GHC.Types.IO
	- Data.Parameterized.Ctx.::>
	- Data.Parameterized.Ctx.EmptyCtx
	- Data.Type.Ord.<=
	- Data.Parameterized.NatRepr.Internal.NatRepr
Documentation created: dist/doc/html/what4/, dist/doc/html/what4/what4.txt
Preprocessing executable 'quickstart' for what4-1.5.1..
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.OaXFxy
+ umask 022
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ '[' /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT
++ dirname /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build
+ mkdir /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs  -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd what4-1.5.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT
Installing library in /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1
Installing executable quickstart in /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin
Warning: Executable installed in
/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d /usr/lib64/ghc-9.6.6/lib ']'
+ subsubdir=/lib
+ '[' -d what4-1.5.1.conf ']'
+ install -D --mode=0644 what4-1.5.1.conf /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/what4-1.5.1.conf
+ '[' -d /usr/lib64/ghc-9.6.6/lib ']'
+ subsubdir=/lib
+ '[' '!' -f /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/what4-1.5.1.conf ']'
+ rm -f ghc-what4.files ghc-what4-doc.files
+ touch ghc-what4.files ghc-what4-doc.files
+ for i in /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHSwhat4-1.5.1-*ghc9.6.6.so
+ '[' -x /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so ']'
+ echo /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so
+ pkgdir=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1
+ '[' -d /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1 ']'
+ find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1 -type d -fprintf ghc-what4-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-what4-prof.files -o -fprint ghc-what4-devel.files
+ ls /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/what4-1.5.1.conf
+ haddock_dir=/usr/share/doc/ghc/html/libraries/what4-1.5.1
+ '[' -d /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc/html/libraries/what4-1.5.1 ']'
+ echo /usr/share/doc/ghc/html/libraries/what4-1.5.1
+ for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files
+ '[' -f ghc-what4.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4.files
+ for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files
+ '[' -f ghc-what4-devel.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4-devel.files
+ for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files
+ '[' -f ghc-what4-doc.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4-doc.files
+ for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files
+ '[' -f ghc-what4-prof.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4-prof.files
deleting rpaths:
+ echo 'deleting rpaths:'
+ type chrpath
++ find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print
+ for i in $(find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
++ chrpath /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so
++ sed -e 's@^/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6:/usr/lib64/ghc-9.6.6/lib
+ case "$rpath" in
+ for i in $(find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
++ chrpath /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin/quickstart
++ sed -e 's@^/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin/quickstart: R.*PATH=@@'
+ rpath='/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin/quickstart: no rpath or runpath tag found.'
+ case "$rpath" in
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j64
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j64 /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT
/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr.a: replacing with normalized version
/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr_p.a: replacing with normalized version
Scanned 30 directories and 496 files,
               processed 213 inodes,
               2 modified (2 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/ghc-what4-1.5.1-build/SPECPARTS/rpm-debuginfo.specpart
Processing files: ghc-what4-1.5.1-4.fc42.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.j8ZAnZ
+ umask 022
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ cd what4-1.5.1
+ LICENSEDIR=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4
+ cp -pr /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/LICENSE /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-what4 = 1.5.1-4.fc42 ghc-what4(x86-64) = 1.5.1-4.fc42 libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libHSBoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52-ghc9.6.6.so()(64bit) libHSOneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5-ghc9.6.6.so()(64bit) libHSStateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb-ghc9.6.6.so()(64bit) libHSadjunctions-4.4.2-DR6oqnMdCoxBqhdDFvlmdF-ghc9.6.6.so()(64bit) libHSarray-0.5.6.0-ghc9.6.6.so()(64bit) libHSassoc-1.1.1-LimEe8pF5RrAGc6oZe3mfa-ghc9.6.6.so()(64bit) libHSasync-2.2.5-GMWeTaoaded4Wz7DAkFLAR-ghc9.6.6.so()(64bit) libHSattoparsec-0.14.4-GAKm7J8Gleq2k06HFjeIeY-attoparsec-internal-ghc9.6.6.so()(64bit) libHSattoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B-ghc9.6.6.so()(64bit) libHSbase-4.18.2.1-ghc9.6.6.so()(64bit) libHSbase-compat-0.13.1-Dtt5em6saazHWsbVLVBeTy-ghc9.6.6.so()(64bit) libHSbase-orphans-0.9.2-5KrayDGKJf32IfEBx9TBiS-ghc9.6.6.so()(64bit) libHSbifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw-ghc9.6.6.so()(64bit) libHSbimap-0.5.0-7xXK3bsJVmhBL74wTtka32-ghc9.6.6.so()(64bit) libHSbinary-0.8.9.1-ghc9.6.6.so()(64bit) libHSbitwise-1.0.0.1-2DxYIjAuiDa30WWLo8XlFV-ghc9.6.6.so()(64bit) libHSboring-0.2.2-I0tBY1I8sYa9lVAnLMQgBW-ghc9.6.6.so()(64bit) libHSbv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C-ghc9.6.6.so()(64bit) libHSbytestring-0.11.5.3-ghc9.6.6.so()(64bit) libHScall-stack-0.4.0-GZ3nSiFdomD3K5ojbP90a6-ghc9.6.6.so()(64bit) libHScase-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy-ghc9.6.6.so()(64bit) libHScomonad-5.0.8-6z2oFUa3fJi9bdDseQ1IV-ghc9.6.6.so()(64bit) libHSconcurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR-ghc9.6.6.so()(64bit) libHSconfig-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU-ghc9.6.6.so()(64bit) libHSconstraints-0.14.2-DBQLI6vI2UvA6qVcpEpOKN-ghc9.6.6.so()(64bit) libHScontainers-0.6.7-ghc9.6.6.so()(64bit) libHScontravariant-1.5.5-A7lal0hcJpG2Mk9fe5J59Z-ghc9.6.6.so()(64bit) libHSdeepseq-1.4.8.1-ghc9.6.6.so()(64bit) libHSderiving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f-ghc9.6.6.so()(64bit) libHSdirectory-1.3.8.5-ghc9.6.6.so()(64bit) libHSdistributive-0.6.2.1-Ak4SWutYoMcKj7F268v0Mi-ghc9.6.6.so()(64bit) libHSexceptions-0.10.7-ghc9.6.6.so()(64bit) libHSfilepath-1.4.300.1-ghc9.6.6.so()(64bit) libHSfingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk-ghc9.6.6.so()(64bit) libHSfree-5.2-2rCe6bpLJWpA9b9i5VsVod-ghc9.6.6.so()(64bit) libHSghc-bignum-1.3-ghc9.6.6.so()(64bit) libHSghc-boot-th-9.6.6-ghc9.6.6.so()(64bit) libHSghc-prim-0.10.0-ghc9.6.6.so()(64bit) libHSgitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn-ghc9.6.6.so()(64bit) libHShashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe-ghc9.6.6.so()(64bit) libHShashtables-1.3.1-NKxkWBizXBD6lggB7bbdl-ghc9.6.6.so()(64bit) libHSindexed-traversable-0.1.4-8j5HZpShpE5BqFup9Ojenr-ghc9.6.6.so()(64bit) libHSindexed-traversable-instances-0.1.2-2oqxTHiGyOuJR1BsLvzrk8-ghc9.6.6.so()(64bit) libHSinteger-logarithms-1.0.3.1-6uUFCUhH0MHDrcFfWqxKEn-ghc9.6.6.so()(64bit) libHSinvariant-0.6.3-GBIUprIJTjq1eiKXRa81Vd-ghc9.6.6.so()(64bit) libHSio-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P-ghc9.6.6.so()(64bit) libHSkan-extensions-5.2.6-BIgSDonUxaHBZj7VHsk6vd-ghc9.6.6.so()(64bit) libHSlens-5.2.3-FNehLn69AsbHuDfy3Kg0ht-ghc9.6.6.so()(64bit) libHSlibBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv-ghc9.6.6.so()(64bit) libHSmegaparsec-9.5.0-81q7R26puLL6FUAd1155SX-ghc9.6.6.so()(64bit) libHSmtl-2.3.1-ghc9.6.6.so()(64bit) libHSnetwork-3.1.4.0-I6jFfdQwj0Q5FZzAobit5e-ghc9.6.6.so()(64bit) libHSordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5-ghc9.6.6.so()(64bit) libHSos-string-2.0.6-IlBa2UQjH7mL18YjMu1jzE-ghc9.6.6.so()(64bit) libHSpanic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe-ghc9.6.6.so()(64bit) libHSparallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD-ghc9.6.6.so()(64bit) libHSparameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl-ghc9.6.6.so()(64bit) libHSparsec-3.1.16.1-ghc9.6.6.so()(64bit) libHSparser-combinators-1.3.0-7dECKLyoqfd8EW2UfNTkZ3-ghc9.6.6.so()(64bit) libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit) libHSprettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp-ghc9.6.6.so()(64bit) libHSprimitive-0.8.0.0-G7z1XrhwN0bFkYsIqIr1QU-ghc9.6.6.so()(64bit) libHSprocess-1.6.19.0-ghc9.6.6.so()(64bit) libHSprofunctors-5.6.2-Ex6a4raT7NS3ARkdIavGdg-ghc9.6.6.so()(64bit) libHSrandom-1.2.1.2-9nSipNyPzIK3OtGny4BWjI-ghc9.6.6.so()(64bit) libHSreflection-2.1.8-DukIK09Udl4IELGyn4qsSv-ghc9.6.6.so()(64bit) libHSs-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2-ghc9.6.6.so()(64bit) libHSsafe-exceptions-0.1.7.4-G1fs5SY5i1W7EEbU0Su8pW-ghc9.6.6.so()(64bit) libHSscientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m-ghc9.6.6.so()(64bit) libHSsemigroupoids-6.0.1-32bnlDo08uWKppaK8Ib2rA-ghc9.6.6.so()(64bit) libHSsemigroups-0.20-FifEs3zbUBKDT9bErGELTt-ghc9.6.6.so()(64bit) libHSsplitmix-0.1.0.5-1g4Y67JB8lK4ODDsw0vzN6-ghc9.6.6.so()(64bit) libHSstm-2.5.1.0-ghc9.6.6.so()(64bit) libHSstrict-0.5-2Ih5J4boI0o4YQYnrtRDYI-ghc9.6.6.so()(64bit) libHStagged-0.8.8-Kzng2lnKElzJiyKd9g735c-ghc9.6.6.so()(64bit) libHStemplate-haskell-2.20.0.0-ghc9.6.6.so()(64bit) libHStemporary-1.3-LMyaaf7YeRfLDOLTsEMncs-ghc9.6.6.so()(64bit) libHStext-2.0.2-ghc9.6.6.so()(64bit) libHSth-abstraction-0.5.0.0-HAFjiAO2nGN58SdxVZCnLH-ghc9.6.6.so()(64bit) libHSth-lift-0.8.4-1nDn5GaGtOI9q63njtRfou-ghc9.6.6.so()(64bit) libHSth-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB-ghc9.6.6.so()(64bit) libHSthese-1.2.1-Lmhp9aSRg20H3DMUOaCHTJ-ghc9.6.6.so()(64bit) libHStime-1.12.2-ghc9.6.6.so()(64bit) libHStransformers-0.6.1.0-ghc9.6.6.so()(64bit) libHStransformers-base-0.4.6-AFroRD7LLlU6BPVd6EHPcA-ghc9.6.6.so()(64bit) libHStransformers-compat-0.7.2-LmnlcpbfHuuAOWEWPuyobH-ghc9.6.6.so()(64bit) libHSunbounded-delays-0.1.1.1-HsgcuRTUZLCDZTX0AINS0o-ghc9.6.6.so()(64bit) libHSunix-2.8.4.0-ghc9.6.6.so()(64bit) libHSunliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk-ghc9.6.6.so()(64bit) libHSunliftio-core-0.2.1.0-6sOpIonHj8t5wIbPhWbPHY-ghc9.6.6.so()(64bit) libHSunordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk-ghc9.6.6.so()(64bit) libHSutf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE-ghc9.6.6.so()(64bit) libHSvector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL-ghc9.6.6.so()(64bit) libHSvector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22-ghc9.6.6.so()(64bit) libHSversions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn-ghc9.6.6.so()(64bit) libHSvoid-0.7.3-G4YN601gfJi8uMn6vxUCAZ-ghc9.6.6.so()(64bit) libHSzenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES-ghc9.6.6.so()(64bit) libHSzlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS-ghc9.6.6.so()(64bit) libHSzlib-bindings-0.1.1.5-wtxm7T9ybl4c1shHXeSn1-ghc9.6.6.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: ghc-what4-devel-1.5.1-4.fc42.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.3xUSM9
+ umask 022
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ cd what4-1.5.1
+ DOCDIR=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel
+ cp -pr /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/CHANGES.md /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel
+ cp -pr /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/README.md /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-devel(what4-1.5.1-1yqxCkdqCTABIoRcsgiohr) ghc-what4-devel = 1.5.1-4.fc42 ghc-what4-devel(x86-64) = 1.5.1-4.fc42 ghc-what4-static = 1.5.1-4.fc42 ghc-what4-static(x86-64) = 1.5.1-4.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(BoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52) ghc-devel(async-2.2.5-GMWeTaoaded4Wz7DAkFLAR) ghc-devel(attoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B) ghc-devel(base-4.18.2.1) ghc-devel(bifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw) ghc-devel(bimap-0.5.0-7xXK3bsJVmhBL74wTtka32) ghc-devel(bv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C) ghc-devel(bytestring-0.11.5.3) ghc-devel(concurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR) ghc-devel(config-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU) ghc-devel(containers-0.6.7) ghc-devel(deepseq-1.4.8.1) ghc-devel(deriving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f) ghc-devel(directory-1.3.8.5) ghc-devel(exceptions-0.10.7) ghc-devel(filepath-1.4.300.1) ghc-devel(fingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk) ghc-devel(ghc-prim-0.10.0) ghc-devel(hashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe) ghc-devel(hashtables-1.3.1-NKxkWBizXBD6lggB7bbdl) ghc-devel(io-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P) ghc-devel(lens-5.2.3-FNehLn69AsbHuDfy3Kg0ht) ghc-devel(libBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv) ghc-devel(megaparsec-9.5.0-81q7R26puLL6FUAd1155SX) ghc-devel(mtl-2.3.1) ghc-devel(ordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5) ghc-devel(panic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe) ghc-devel(parameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl) ghc-devel(parsec-3.1.16.1) ghc-devel(prettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp) ghc-devel(process-1.6.19.0) ghc-devel(s-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2) ghc-devel(scientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m) ghc-devel(stm-2.5.1.0) ghc-devel(template-haskell-2.20.0.0) ghc-devel(temporary-1.3-LMyaaf7YeRfLDOLTsEMncs) ghc-devel(text-2.0.2) ghc-devel(th-lift-0.8.4-1nDn5GaGtOI9q63njtRfou) ghc-devel(th-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB) ghc-devel(time-1.12.2) ghc-devel(transformers-0.6.1.0) ghc-devel(unliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk) ghc-devel(unordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk) ghc-devel(utf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE) ghc-devel(vector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL) ghc-devel(versions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn) ghc-devel(zenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES) libc.so.6()(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.8)(64bit) libc.so.6(GLIBC_2.9)(64bit) libffi.so.8()(64bit) libffi.so.8(LIBFFI_BASE_8.0)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.27)(64bit) libm.so.6(GLIBC_2.29)(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: ghc-what4-doc-1.5.1-4.fc42.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.jSbmoP
+ umask 022
+ cd /builddir/build/BUILD/ghc-what4-1.5.1-build
+ cd what4-1.5.1
+ LICENSEDIR=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4-doc
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4-doc
+ cp -pr /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/LICENSE /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-what4-doc = 1.5.1-4.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ghc-what4-prof-1.5.1-4.fc42.x86_64
Provides: ghc-prof(what4-1.5.1-1yqxCkdqCTABIoRcsgiohr) ghc-what4-prof = 1.5.1-4.fc42 ghc-what4-prof(x86-64) = 1.5.1-4.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-prof(BoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52) ghc-prof(async-2.2.5-GMWeTaoaded4Wz7DAkFLAR) ghc-prof(attoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B) ghc-prof(base-4.18.2.1) ghc-prof(bifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw) ghc-prof(bimap-0.5.0-7xXK3bsJVmhBL74wTtka32) ghc-prof(bv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C) ghc-prof(bytestring-0.11.5.3) ghc-prof(concurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR) ghc-prof(config-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU) ghc-prof(containers-0.6.7) ghc-prof(deepseq-1.4.8.1) ghc-prof(deriving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f) ghc-prof(directory-1.3.8.5) ghc-prof(exceptions-0.10.7) ghc-prof(filepath-1.4.300.1) ghc-prof(fingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk) ghc-prof(ghc-prim-0.10.0) ghc-prof(hashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe) ghc-prof(hashtables-1.3.1-NKxkWBizXBD6lggB7bbdl) ghc-prof(io-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P) ghc-prof(lens-5.2.3-FNehLn69AsbHuDfy3Kg0ht) ghc-prof(libBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv) ghc-prof(megaparsec-9.5.0-81q7R26puLL6FUAd1155SX) ghc-prof(mtl-2.3.1) ghc-prof(ordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5) ghc-prof(panic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe) ghc-prof(parameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl) ghc-prof(parsec-3.1.16.1) ghc-prof(prettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp) ghc-prof(process-1.6.19.0) ghc-prof(s-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2) ghc-prof(scientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m) ghc-prof(stm-2.5.1.0) ghc-prof(template-haskell-2.20.0.0) ghc-prof(temporary-1.3-LMyaaf7YeRfLDOLTsEMncs) ghc-prof(text-2.0.2) ghc-prof(th-lift-0.8.4-1nDn5GaGtOI9q63njtRfou) ghc-prof(th-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB) ghc-prof(time-1.12.2) ghc-prof(transformers-0.6.1.0) ghc-prof(unliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk) ghc-prof(unordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk) ghc-prof(utf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE) ghc-prof(vector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL) ghc-prof(versions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn) ghc-prof(zenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES)
Supplements: (ghc-what4-devel and ghc-prof)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT
Wrote: /builddir/build/RPMS/ghc-what4-1.5.1-4.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-what4-prof-1.5.1-4.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-what4-doc-1.5.1-4.fc42.noarch.rpm
Wrote: /builddir/build/RPMS/ghc-what4-devel-1.5.1-4.fc42.x86_64.rpm
Child return code was: 0