package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ident = string

type v =

type 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 =

val update_val : v -> v -> access list -> v

val create_val : t -> v -> access list -> v