Module Stdune.FdeclSource

Forward declarations

Sourcetype 'a t
Sourceval create : ('a -> Dyn.t) -> 'a t

create to_dyn creates a forward declaration. The to_dyn parameter is used for reporting errors in set, set_idempotent and get.

Sourceval set : 'a t -> 'a -> unit

set t x sets the value that will be returned by get t to x. Raises if set was already called.

Sourceval get : 'a t -> 'a

get t returns the x if set comp x was called. Raises if set has not been called yet.

Sourceval to_dyn : 'a t -> Dyn.t