Module Mugen

module Shift : module type of Shift

Stock displacement algebras

module ShiftWithJoin : module type of ShiftWithJoin

Stock displacement algebras with joins

Syntax of Level Expressions

module Syntax : module type of Syntax

Definitions of level expressions

module Builder : module type of Builder

Smart constructors for level expressions

Comparators of Level Expressions

module Theory : module type of Theory

Semantic comparators for free level expressions