pub fn protocol() -> Protocol
Returns the SQL protocol definition.
Schema theory: colimit(ThHypergraph, ThConstraint). Instance theory: ThFunctor.
colimit(ThHypergraph, ThConstraint)
ThFunctor