(module Stdlib__Condition)