The file constitutes the literate-programming output of the transducer implementation. The code is separated in a number of modules and compilation units. In case, an Ocaml-interface .mli-file contains a module type, the same module type is not repeated for the .ml-file in this document. Additionally, we project out a number of temporary diagnostic print-out functions which clutter the algorithms and which are used for debugging and tracing reasons. Neither are included opening statements for modules, and the general-purpose modules Symbol for symbols and Layout for layouting efficiently pretty-printed output.