Agda.TypeChecking.Monad.Sharing
updateSharedTerm
updateSharedTermF
updateSharedTermT
forceEqualTerms
disableDestructiveUpdate