catlog::stdlib

Module models

Source
Expand description

Standard library of models of double theories.

Functions§