Module Backpatched.Hole

module Hole: sig .. end

type 'a t

val create : name:string -> 'a t

val fill : 'a t -> 'a -> unit Core.Std.Or_error.t

It is an error to fill an already-filled hole.

val empty : 'a t -> unit

It is not an error to empty an already-empty hole.