Environment (bonsai.bonsai.private_base.Bonsai_private

type t

val empty : t

val add_exn : t -> key:'a Core.Type_equal.Id.t -> data:'a Ui_incr.t -> t

val add_overwriting : 
  t ->
  key:'a Core.Type_equal.Id.t ->
  data:'a Ui_incr.t ->
  t

val find : t -> 'a Core.Type_equal.Id.t -> 'a Ui_incr.t option

module Recursive : sig ... end

A Recursive.t is a mapping from Fix_id.t to a copy of the environment at the point where the Fix_define for that Fix_id.t was evaluated, as well as the resolved May_contain for that Fix_define.