Previous Up Next

Interface for module Pp

This module contains a pretty-printer for the transducers. The output is plain ascii and uses the layouter-module. The debugger is used for debugging purposes, mainly.
type abstract_layout = Layout.aseq

val layout_qindex : Absynt.qindex → abstract_layout
val layout_qstarindexAbsynt.qstarindex → abstract_layout

val layout_pname : pname → abstract_layout
val layout_vname : vname → abstract_layout
val layout_term : (α → abstract_layout) → α term → abstract_layout
val layout_rule : (α → abstract_layout) → α rule → abstract_layout
val layout : (α → abstract_layout) → α mtt → abstract_layout 
val string_of_layoutabstract_layout → string


Previous Up Next