sig
  val print_scalar : Format.formatter -> Scm_syn.scalar -> unit
  val print_interval : Format.formatter -> Scm_syn.interval -> unit
  val print_iexpr : Format.formatter -> Scm_syn.iexpr -> unit
  val print_bexpr : Format.formatter -> Scm_syn.bexpr -> unit
  val print_action :
    Format.formatter -> (int * Scm_syn.taction * Scm_syn.var) option -> unit
  val print_transition : Format.formatter -> Scm_syn.transition -> unit
  val print_scm : Format.formatter -> Scm_syn.scm -> unit
  val print_global_scm : Format.formatter -> Scm_syn.global_scm -> unit
end