discrete 0.4.0

Combinatorial phantom types for discrete mathematics
Documentation
Build #259687 2020-06-10T15:37:55.682446+00:00
# rustc version
rustc 1.46.0-nightly (feb3536eb 2020-06-09)
# docs.rs version
docsrs 0.6.0 (b58f2da 2020-06-09)

# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/discrete-0.4.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/discrete-0.4.0/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1001" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --resource-suffix -20200609-1.46.0-nightly-feb3536eb --static-root-path / --cap-lints warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--cpus" "2" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "doc" "--lib" "--no-deps" "-j2", kill_on_drop: false }`
[INFO] [stdout] 6c334673e77726657bae5eb08f4d3b2eb184b6ba7919b6b28c66d2e6cbed7f12
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "6c334673e77726657bae5eb08f4d3b2eb184b6ba7919b6b28c66d2e6cbed7f12", kill_on_drop: false }`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]  Documenting discrete v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.37s
[INFO] running `Command { std: "docker" "inspect" "6c334673e77726657bae5eb08f4d3b2eb184b6ba7919b6b28c66d2e6cbed7f12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6c334673e77726657bae5eb08f4d3b2eb184b6ba7919b6b28c66d2e6cbed7f12", kill_on_drop: false }`
[INFO] [stdout] 6c334673e77726657bae5eb08f4d3b2eb184b6ba7919b6b28c66d2e6cbed7f12