refining-empty 0.1.0

Refining based on emptiness.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

[package]
name = "refining-empty"
version.workspace = true
authors.workspace = true
rust-version.workspace = true
edition.workspace = true
description = "Refining based on emptiness."
documentation = "https://docs.rs/refining-empty"
readme = "README.md"
repository.workspace = true
license.workspace = true
keywords = ["refinement", "type", "empty"]

[dependencies.refining-core]
workspace = true

[features]
default = ["std"]
alloc = []
std = []

[package.metadata.docs.rs]
rustdoc-args = ["--cfg", "docsrs"]