Agda.TypeChecking.Forcing

addForcingAnnotations

forcedVariables

force