package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a alphabet = 'a Tcsbasedata.Domain.t
type 'a word = 'a list
type 'a omega_word = 'a word * 'a word
val compare_words : 'a alphabet -> 'a word -> 'a word -> int
val empty_word : unit -> 'a word
val singleton_word : 'a -> 'a word
val attach_left_word : 'a -> 'a word -> 'a word
val attach_right_word : 'a word -> 'a -> 'a word
val compose_words : 'a word -> 'a word -> 'a word
val format_word : 'a alphabet -> 'a word -> string
val omega_simplify : 'a alphabet -> 'a word -> 'a word
val format_omega_word : 'a alphabet -> 'a omega_word -> string