C.Computed
A Computed.t maps a 'a property to a value of type 'a, if any.
Computed.t
'a
type binding =
| B : 'a P.prop * 'a -> binding
type t = binding P.M.t
val empty : 'a P.M.t
val add : binding P.M.t -> 'a P.prop -> 'b -> binding P.M.t
val opt : 'a. t -> 'a P.prop -> 'a option
val get : t -> 'a P.prop -> 'b
val pp : Stdlib.Format.formatter -> binding P.M.t -> unit