package DAGaml

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