package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type statement
type statements = statement list
type guarded_var_i
class variable : guarded_var_i -> object ... end
type !'a case = 'a * statements
type !'a cases = 'a case list
val g_wire : Types.signal -> variable
val g_reg : Types.register -> Types.signal -> int -> variable
val g_var : Types.register -> Types.signal -> int -> variable
val g_pipeline : int -> Types.register -> Types.signal -> int -> variable
val g_when : Types.signal -> statements -> statement
val g_unless : Types.signal -> statements -> statement
val g_proc : statements -> statement
val ($==) : variable -> Types.signal -> statement
val ($==.) : variable -> int -> statement
val compile : statements -> unit
val statemachine : Types.register -> Types.signal -> 'a list -> variable * ('a cases -> statement) * ('a -> statement)