package idd

  1. Overview
  2. Docs

Module Idd_.AlgebraSource

Sourcemodule type BA = sig ... end

Boolean algebra

Sourcemodule type KA = sig ... end

Kleene algebra

Sourcemodule type KAT = sig ... end

Kleene algebra with tests

Sourcemodule type GKAT = sig ... end

Guarded Kleene algebra with tests