sig
  type !'a t
  val is_val : 'a Lazy.Mutexed.t -> bool
  val from_val : 'a -> 'a Lazy.Mutexed.t
  val from_fun : (unit -> 'a) -> 'a Lazy.Mutexed.t
  val force : 'a Lazy.Mutexed.t -> 'a
end