Agda.TypeChecking.Monad.Sharing

updateSharedTerm

updateSharedTermF

updateSharedTermT

forceEqualTerms

disableDestructiveUpdate