package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

}

and e_desc =

type value = {

}

and e_val =

exception Out_of_bound of string * int

val mk_expr : e_desc -> t

val mk_var : string -> t

val mk_val : Types.typ -> e_val -> value

val mk_array : value list -> value

val mk_record : Types.name -> (string * Types.typ * value) list -> value

val mk_int : int -> value

val mk_float : float -> value

val mk_char : char -> value

val mk_bool : bool -> value

val array_update : string -> value array -> int -> value -> value array

val record_update : 
  string ->
  (string * value) list ->
  string ->
  value ->
  (string * value) list

val unset_event : value

val set_event : value

val of_value : value -> e_desc

module VarSet : sig ... end

val vars_of : t -> VarSet.t

val rename : (string -> string) -> t -> t

val string_of_expr : e_desc -> string

val to_string : t -> string

val string_of_val : e_val -> string

val string_of_value : value -> string

val string_of_opt_value : value option -> string