package hardcaml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package hardcaml

hardcaml
- HardCaml
  - Api
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Comb
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Cosim
    
    Cs
    
    Cyclesim
    
    InstOps
    
    Real
    
    Double
    
    Float
    
    P
    
    Real
    
    Gtkwave
    
    Interface
    
    Gen
    
    I
    
    O
    
    Gen_cosim
    
    I
    
    O
    
    Sim
    
    I
    
    O
    
    Make
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Cosim
    
    Cyclesim
    
    InstOps
    
    Real
    
    Double
    
    Float
    
    P
    
    Real
    
    Gtkwave
    
    Interface
    
    Gen
    
    I
    
    O
    
    Gen_cosim
    
    I
    
    O
    
    Sim
    
    I
    
    O
    
    Vcd
    
    S
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Cosim
    
    Cyclesim
    
    InstOps
    
    Real
    
    Double
    
    Float
    
    P
    
    Real
    
    Gtkwave
    
    Interface
    
    Gen
    
    I
    
    O
    
    Gen_cosim
    
    I
    
    O
    
    Sim
    
    I
    
    O
    
    Vcd
    
    Seq
    
    Vcd
  - Bits
    
    ArraybitsBase
    
    ArraybitsBuilder
    
    B
    
    ArraybitsInt32Api
    
    ArraybitsInt64Api
    
    ArraybitsNativeintApi
    
    Comb
    
    ArraybitsInt32
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    ArraybitsInt64
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    ArraybitsNativeint
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Int32bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Int64bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Intbits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    IntbitsList
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Nativeintbits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Ext
    
    BigarraybitsInt32_Bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    BigarraybitsInt64_Bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    BigarraybitsNativeint_Bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Comb
    
    ArraybitsInt32
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    ArraybitsInt64
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    ArraybitsNativeint
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    BigarraybitsInt32
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    BigarraybitsInt64
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    BigarraybitsNativeint
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Int32bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Int64bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Intbits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    IntbitsList
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    MakeC
    
    Conv
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Nativeintbits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    S
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    T
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Utils_ext
    
    Raw
    
    Build
    
    B
    
    Comb
    
    ArraybitsInt32
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    ArraybitsInt64
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    ArraybitsNativeint
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
  - Circuit
    
    Hierarchy
    
    Mangler
  - Comb
    
    Make
    
    Bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    S
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    T
  - Cosim
    
    Comms
    
    Make
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
  - Cyclesim
    
    Api
    
    BinaryIO
    
    Interactive
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Make
    
    Bits
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    InstOps
    
    Real
    
    Double
    
    Float
    
    P
    
    Real
    
    Sim_obj_if
    
    Make
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    S
  - Fixed
    
    Make
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Fixed
    
    Overflow
    
    Round
    
    Signed
    
    Make
    
    S
    
    Overflow
    
    Round
    
    Spec
    
    Unsigned
    
    Make
    
    S
    
    Overflow
    
    Round
    
    Spec
  - Graph
  - Interface
    
    Circ
    
    I
    
    O
    
    Curried
    
    Empty
    
    Fn
    
    Gen
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    I
    
    O
    
    Gen_cosim
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    I
    
    O
    
    Hier
    
    I
    
    O
    
    Inst
    
    I
    
    O
    
    S
    
    Sim
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    I
    
    O
    
    Tuple
  - Recipe
    
    Monad
    
    SArray
    
    SList
    
    STuple2
    
    STuple3
    
    SVar
    
    Same
    
    X
  - Rtl
    
    C
    
    Hierarchy
    
    Rtl_S
    
    Verilog
    
    Vhdl
  - Signal
    
    Base
    
    Comb
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Const_prop
    
    Comb
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Guarded
    
    variable
    
    Instantiation
    
    Make_seq
    
    S
    
    Multiram
    
    Seq
    
    Seq_spec
    
    Statemachine
    
    Types
    
    UidMap
    
    UidSet
  - Structural
    
    Base
    
    C
    
    Base0
    
    Base1
    
    Base2
    
    Config
    
    Lib
  - Transform
    
    AigTransform
    
    CombBaseGates
    
    ConstantPropagation
    
    CopyTransform
    
    MakeAig
    
    B
    
    MakeCombGates
    
    S
    
    MakeCombTransform
    
    B
    
    MakeGates
    
    B
    
    S
    
    MakeNand
    
    B
    
    MakeNor
    
    B
    
    MakePureCombTransform
    
    B
    
    NandTransform
    
    NorTransform
    
    Signals
    
    Aig
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Nand
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Nor
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    SimplifyBusses
    
    SimplifyConstants
    
    TransformFn
    
    TransformFn'
  - Utils
  - Vcd
    
    Gtkwave
    
    S
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
    
    Make
    
    S
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop
  - Xilinx
    
    HardCaml_api
    
    Lut4
    
    Lut6
    
    LutEqn
    
    LutSize
    
    S
    
    T
    
    Unisim
    
    XComb
    
    Synth
    
    XMake
    
    L
    
    X
    
    XSynthesize
    
    L
    
    X
    
    XSynthesizeComb
    
    L
    
    X
hardcaml.dynlink
- HardCamlDynlink
  - Sim_provider
    
    S
    
    B
    
    Signed
    
    Sop
    
    TypedMath
    
    Unsigned
    
    Uop

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module B : Comb.S

module I : S

module O : S

Signature

val make : 
  string ->
  (Signal.Comb.t I.t -> Signal.Comb.t O.t) ->
  Circuit.t
  * B.t Cyclesim.Api.cyclesim
  * B.t ref I.t
  * B.t ref O.t
  * B.t ref O.t