Module PrintBTL.PrintGV

module PrintGV: sig .. end

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