Agda.TypeChecking.Forcing

addForcingAnnotations

class ForcedVariables a

force