package orsetto

  1. Overview
  2. Docs
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains some pre-defined dispatch modules.

module type Char_dispatch = Dispatch with type event = char

The dispatch signatures for char events.

module type Int_dispatch = Dispatch with type event = int

The dispatch signatures for int events.

module Memo (E : Cf_relations.Order) : Dispatch with type event = E.t

Use Memo(E) with a totally ordered event type to make a dispatch that memorizes the results of computing transitions as events require them. Transitions are only computed for events not previously required.

module Eager : sig ... end

This module contains functions for creating dispatch modules that are eager about pre-computing some frequently used events and storing their transitions in a