package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Failure of string
module Mangler : sig ... end
type t = {
  1. circ_name : string;
  2. circ_id_to_sig : Signal.Types.signal Signal.Types.UidMap.t;
  3. circ_inputs : Signal.Types.signal list;
  4. circ_outputs : Signal.Types.signal list;
  5. circ_fanout : Signal.Types.UidSet.t Signal.Types.UidMap.t;
  6. circ_fanin : Signal.Types.UidSet.t Signal.Types.UidMap.t;
}
val make : string -> Signal.Types.signal list -> t
val id : 'a -> Signal.Types.signal -> 'a
val search1 : ('a -> Signal.Types.signal -> 'a) -> ('a -> Signal.Types.signal -> 'a) -> 'a -> Signal.Types.signal -> 'a
val set_of_signals : Signal.Types.signal list -> Signal.Types.UidSet.t
val filter : (Signal.Types.signal -> bool) -> Signal.Types.signal list -> Signal.Types.signal list
val inputs : t -> Signal.Types.signal list
val outputs : t -> Signal.Types.signal list
val name : t -> string
val mangle_names : string list -> string -> t -> Signal.Types.uid -> int -> string
val is_input : t -> Signal.Types.signal -> bool
val is_output : t -> Signal.Types.signal -> bool
val signal_of_uid : t -> Signal.Types.uid -> Signal.Types.signal
val find_signals : (Signal.Types.signal -> bool) -> Signal.Types.signal list -> Signal.Types.signal list
val find_signals_by_name : string -> Signal.Types.signal list -> Signal.Types.signal list
val structural_compare : t -> t -> bool
module Hierarchy : sig ... end