Crate pr4xis 

Modules

category

codegen_data

engine

logic

ontology

Macros

define_category

Define a kinded category with explicit relation types.

define_dense_category

Define a dense category where all entity pairs are morphisms.

define_ontology

Define an ontology from domain knowledge.