package idd

  1. Overview
  2. Docs
module type BA = sig ... end

Boolean algebra

module type KA = sig ... end

Kleene algebra

module type KAT = sig ... end

Kleene algebra with tests

module type GKAT = sig ... end

Guarded Kleene algebra with tests