Module `Basement.Dynamic`Source

This module is reexported, with documentation, as Base.Dynamic; see that module for documentation on this interface.

type 'a t

val make : 'a. 'a @ portable -> 'a Basement.Dynamic.t @@ portable

val get : 'a. 'a Basement.Dynamic.t -> 'a @ portable @@ portable

val set_root : 'a. 'a Basement.Dynamic.t -> 'a @ portable -> unit @@ portable

val with_temporarily : 
  'a 'b. 'a Basement.Dynamic.t ->
  'a @ portable ->
  f:(unit -> 'b) @ once ->
  'b @@ portable

Module Basement.DynamicSource