Module Parameter.ValueSource

Sourcetype t =
  1. | Bit of bool
  2. | Bit_vector of Logic.Bit_vector.t
  3. | Bool of bool
  4. | Int of int
  5. | Real of float
  6. | Std_logic of Logic.Std_logic.t
  7. | Std_logic_vector of Logic.Std_logic_vector.t
  8. | Std_ulogic of Logic.Std_logic.t
  9. | Std_ulogic_vector of Logic.Std_logic_vector.t
  10. | String of string
  11. | Array of t list
include Bin_prot.Binable.S with type t := t
include Bin_prot.Binable.S_only_functions with type t := t
include sig ... end
Sourceval bin_size_t : t Bin_prot.Size.sizer
Sourceval bin_write_t : t Bin_prot.Write.writer
Sourceval bin_read_t : t Bin_prot.Read.reader
Sourceval __bin_read_t__ : t Bin_prot.Read.vtag_reader

This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

Sourceval bin_shape_t : Bin_prot.Shape.t
include Sexplib0.Sexpable.S with type t := t
include Sexplib0.Sexpable.Of_sexp with type t := t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
include Sexplib0.Sexpable.Sexp_of with type t := t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval bit : bool -> t
Sourceval bit_vector : Logic.Bit_vector.t -> t
Sourceval bool : bool -> t
Sourceval int : int -> t
Sourceval real : float -> t
Sourceval std_logic : Logic.Std_logic.t -> t
Sourceval std_logic_vector : Logic.Std_logic_vector.t -> t
Sourceval std_ulogic : Logic.Std_logic.t -> t
Sourceval std_ulogic_vector : Logic.Std_logic_vector.t -> t
Sourceval string : string -> t
Sourceval array : t list -> t
Sourceval is_bit : t -> bool
Sourceval is_bit_vector : t -> bool
Sourceval is_bool : t -> bool
Sourceval is_int : t -> bool
Sourceval is_real : t -> bool
Sourceval is_std_logic : t -> bool
Sourceval is_std_logic_vector : t -> bool
Sourceval is_std_ulogic : t -> bool
Sourceval is_std_ulogic_vector : t -> bool
Sourceval is_string : t -> bool
Sourceval is_array : t -> bool
Sourceval bit_val : t -> bool option
Sourceval bit_vector_val : t -> Logic.Bit_vector.t option
Sourceval bool_val : t -> bool option
Sourceval int_val : t -> int option
Sourceval real_val : t -> float option
Sourceval std_logic_val : t -> Logic.Std_logic.t option
Sourceval std_logic_vector_val : t -> Logic.Std_logic_vector.t option
Sourceval std_ulogic_val : t -> Logic.Std_logic.t option
Sourceval std_ulogic_vector_val : t -> Logic.Std_logic_vector.t option
Sourceval string_val : t -> string option
Sourceval array_val : t -> t list option
Sourcemodule Variants : sig ... end
include Base.Equal.S__local with type t := t