論理回路アプリケーションのコア・パッケージです。

論理回路自体を表現する型について定義しています。