package rdbg

  1. Overview
  2. Docs
type ident = string
type v =
  1. | I of int
  2. | F of float
  3. | B of bool
  4. | E of ident * int
  5. | A of v array
  6. | S of (ident * v) list
  7. | U
type t =
  1. | Bool
  2. | Int
  3. | Real
  4. | Extern of ident
  5. | Enum of ident * ident list
  6. | Struct of ident * (ident * t) list
  7. | Array of t * int
  8. | Alpha of int
  9. | Alias of string * t
val val_to_string : (float -> string) -> v -> string
val val_to_string_type : v -> string
val type_of_string : string -> t
val type_to_string : t -> string
val type_to_string_alias : t -> string

use the alias for aliased types

type vntl = (string * t) list
type subst = string * v
type access =
  1. | Idx of int
  2. | Fld of ident
  3. | Sle of int * int * int * int
val update_val : v -> v -> access list -> v
val create_val : t -> v -> access list -> v
OCaml

Innovation. Community. Security.