sig
  val node_code : Stdlib.out_channel -> BTL.iblock -> unit
  val node_text :
    Stdlib.out_channel ->
    (Stdlib.out_channel -> 'a) ->
    (Stdlib.out_channel -> 'b) -> Camlcoq.P.t * BTL.iblock_info -> unit
  val node_id : Stdlib.out_channel -> Camlcoq.P.t -> unit
  val node :
    Stdlib.out_channel ->
    Camlcoq.P.t -> (Stdlib.out_channel -> unit -> unit) -> unit
  val node_exits :
    Stdlib.out_channel -> Camlcoq.P.t * BTL.iblock_info -> unit
  val graph :
    Stdlib.out_channel ->
    (Stdlib.out_channel -> BinNums.positive * BTL.iblock_info -> unit) ->
    (Stdlib.out_channel -> 'a) -> BTL.coq_function -> unit
  val btl : Stdlib.out_channel -> BTL.coq_function -> unit
  val btl_gm :
    Stdlib.out_channel -> BTL.coq_function * BTL_Invariants.gluemap -> unit
  val to_file : string -> (Stdlib.out_channel -> 'a -> 'b) -> 'a -> unit
end