Description

Before reports whether the time instant t is before u.