Module Hardcaml.Graph
Write circuit as graph. Currently works quite well with aisee3; www.aisee.com
val write_dot_rank : Hardcaml__.Import.Out_channel.t -> Circuit.t -> Hardcaml__.Import.unit
val write_gdl : ?names:Hardcaml__.Import.bool -> ?widths:Hardcaml__.Import.bool -> ?consts:Hardcaml__.Import.bool -> ?clocks:Hardcaml__.Import.bool -> Hardcaml__.Import.Out_channel.t -> Circuit.t -> Hardcaml__.Import.unit
write a GDL (graph description language) file of the given circuit
val aisee3 : ?args:Hardcaml__.Import.string -> ?names:Hardcaml__.Import.bool -> ?widths:Hardcaml__.Import.bool -> ?consts:Hardcaml__.Import.bool -> ?clocks:Hardcaml__.Import.bool -> Circuit.t -> Hardcaml__.Import.unit
launch aisee3 to visualize the given circuit