package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module ThisT = Ldd_B_o_nucx_types
module ThisG = Ldd_B_o_nucx_gops
val arity : 'a Ldd_B_o_nucx_types.edge' -> int
val neg : (('a * bool * 'b) * 'c) -> ('a * bool * 'b) * 'c
val cneg : bool -> (('a * bool * 'b) * 'c) -> ('a * bool * 'b) * 'c
val is_cst : (('a * 'b * 'c list) * ('d, 'e) GuaCaml.Tree.gnext) -> 'b option
val get_cst : bool -> 'a Ldd_B_o_nucx_types.edge' -> 'b Ldd_B_o_nucx_types.edge'
module LDD : sig ... end
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