package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module ThisT = Ldd_B_u_nuc_types
module ThisG = Ldd_B_u_nuc_gops
module ThisI = Ldd_B_u_nuc_io
val arity : (Ldd_B_u_nuc_types.block * 'a) -> int
val cneg : bool -> (Ldd_B_u_nuc_types.block * 'a) -> Ldd_B_u_nuc_types.block * 'a
val is_cst : (Ldd_B_u_nuc_types.block * 'a) -> bool option
val cst : bool -> int -> Ldd_B_u_nuc_types.block * (unit, 'a) GuaCaml.Tree.gnext
val get_cst : bool -> (Ldd_B_u_nuc_types.block * 'a) -> Ldd_B_u_nuc_types.block * (unit, 'b) 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