package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module ThisT = Ldd_B_o_u_types
module ThisG = Ldd_B_o_u_gops
val arity : (('a * 'b) * 'c) -> 'a
val is_cst : (('a * 'b) * ('c, 'd) GuaCaml.Tree.gnext) -> 'c option
val cst : 'a -> int -> (int * int) * ('a, 'b) GuaCaml.Tree.gnext
val get_cst : 'a -> ((int * 'b) * 'c) -> (int * int) * ('a, 'd) GuaCaml.Tree.gnext
module LDD : sig ... end
val newman : unit -> LDD.manager
val make_ident : LDD.manager -> LDD.G0.M.leaf -> int -> LDD.G0.edge'
val push_pass : (('a * (int * 'b)) * 'c) -> ('a * (int * 'b)) * 'c
module ComposeOops (MO : OOPS.MSig) : sig ... end
module ToSnax : sig ... end
module OfExpr : sig ... end
val default_module_name : string
val to_verilog : string -> string -> unit
val ldd_of_expr : ?out_list:bool -> ?smart:bool -> string IoTypes.expr -> string OfExpr.GO.system
val of_verilog : ?out_list:bool -> ?smart:bool -> string -> string -> unit
val of_pla : ?out_list:bool -> ?smart:bool -> string -> string -> unit
val from_cnf : ?out_list:bool -> ?smart:bool -> string -> string -> unit
val sys_to_stats : string -> string GuaCaml.Tree.tree list
val sys_to_dot : string -> string -> unit