package idd

You can search for identifiers within the package.

in-package search v0.2.0

idd
- Idd_
  - Algebra
    
    BA
    
    GKAT
    
    KA
    
    KAT
  - Bdd
    
    Make
  - Boolean
    
    Algebra
  - Dd
  - Idd
    
    Rel
  - Var

Legend:
Library
Module
Module type
Parameter
Class
Class type

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