sig
  val tabstop : int
  val print_sep_list : string -> ('a -> unit) -> 'a list -> unit
  val print_sep_list_no_space : string -> ('a -> unit) -> 'a list -> unit
  val print_sep_list_box : string -> ('a -> unit) -> 'a list -> unit
  val print_fst_symbol : Lm_symbol.symbol * 'a -> unit
end