package core_extended

  1. Overview
  2. Docs

Source file immediate.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(** Immediate versions of standard datatypes. *)

open Immediate_intf
include Immediate_kernel

module type Intern_table = Intern_table
module type String_no_option = String_no_option
module type String_option = String_option
module type String = Immediate_string_intf.S

(** There is no facility to un-intern an Interned_string.  They are remembered forever. *)
module Interned_string = Immediate_interned_string

module Short_string = Immediate_short_string
module String = Immediate_string
module Stringable = Immediate_stringable
module Identifiable = Immediate_identifiable
module Immediate_stable = Immediate_stable