panproto-gat-0.9.0
Platform
Feature flags

docs.rs

Rust

panproto-gat 0.9.0

GAT (Generalized Algebraic Theory) engine for panproto

Crate
Source
Builds
Feature flags

..
alg_struct.rs
check_model.rs
colimit.rs
eq.rs
error.rs
factorize.rs
free_model.rs
ident.rs
lib.rs
model.rs
morphism.rs
nat_transform.rs
op.rs
pullback.rs
quotient.rs
refinement.rs
schema_functor.rs
sort.rs
theory.rs
typecheck.rs
witness.rs