package bap-core-theory

  1. Overview
  2. Docs

The Basic Theory.

Implements the empty basic theory and provides a module for expressing the Basic Theory in terms of the Minimal theory.

module Make (S : Minimal) : Basic

Expresses Basic operations in terms of the Minimal operations.

module Empty : Basic

The Empty theory.