Crates.io | fin-part-ord |
lib.rs | fin-part-ord |
version | 0.1.0 |
source | src |
created_at | 2022-11-20 15:44:25.076474 |
updated_at | 2022-11-20 15:44:25.076474 |
description | Datatype for finite partial orders |
homepage | https://github.com/langston-barrett/fin-part-ord |
repository | https://github.com/langston-barrett/fin-part-ord |
max_upload_size | |
id | 719176 |
size | 17,037 |
This crate provides a trait and datatypes for representing finite partial orders. See the API documentation for more information.