Module type Structure.External

module type External = sig .. end
External view of the tree, with accessors. Automatically built by the functor Structure.Open from an Structure.Internal datatype. When a generic datatype is a combination of several other datatypes, these functions allow interacting with its subparts. Note that their behavior is undefined if the overall datatype contains several times the same datatype.

type t 
type 'a key 
val mem : 'a key -> bool
val get : 'a key -> (t -> 'a) option
val set : 'a key ->
'a -> t -> t