{"library":"strict-types","type":"library","category":null,"description":"Strict types: confined generalized algebraic data types (GADT) for Rust.","language":"rust","status":"active","version":"2.9.1","tags":["types","gadt","algebraic","strict"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nstrict_types = \"2.9.1\"","imports":["use strict_types::StrictType;"]},{"cmd":"cargo add strict_types","imports":[]}],"homepage":"https://strict-types.org","github":null,"docs":"https://docs.rs/strict_types/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}