docs: def _condition_as_text(lambda_inspection: icontract._represent.ConditionLambdaInspection) -> str:
      """Format condition lambda function as reST."""
      lambda_ast_node = lambda_inspection.node
      assert isinstance(lambda_ast_node, ast.Lambda)
  
      body_node = lambda_ast_node.body
  
      text = None  # type: Optional[str]
      if isinstance(body_node, ast.BoolOp) and isinstance(body_node.op, ast.Or) and len(body_node.values) == 2:
          left, right = body_node.values
  
          if isinstance(left, ast.UnaryOp) and isinstance(left.op, ast.Not):
              # Handle the case: not A or B is transformed to A => B
              text = ':code:`{}` ⇒ :code:`{}`'.format(
                  lambda_inspection.atok.get_text(node=left.operand), lambda_inspection.atok.get_text(node=right))
  
          elif isinstance(left, (ast.UnaryOp, ast.BinOp, ast.GeneratorExp, ast.IfExp)):
              text = ':code:`not ({})` ⇒ :code:`{}`'.format(
                  lambda_inspection.atok.get_text(node=left), lambda_inspection.atok.get_text(node=right))
  
          elif isinstance(left, ast.Compare) and len(left.ops) == 1:
              text = ':code:`{}` ⇒ :code:`{}`'.format(
                  _negate_compare_text(atok=lambda_inspection.atok, node=left),
                  lambda_inspection.atok.get_text(node=right))
  
          elif isinstance(left, (ast.Call, ast.Attribute, ast.Name, ast.Subscript, ast.Index, ast.Slice, ast.ExtSlice,
                                 ast.ListComp, ast.SetComp, ast.DictComp)):
              text = ':code:`not {}` ⇒ :code:`{}`'.format(
                  lambda_inspection.atok.get_text(node=left), lambda_inspection.atok.get_text(node=right))
  
      elif isinstance(body_node, ast.IfExp) and isinstance(body_node.orelse, ast.NameConstant) and body_node.orelse.value:
          text = ':code:`{}` ⇒ :code:`{}`'.format(
              lambda_inspection.atok.get_text(node=body_node.test), lambda_inspection.atok.get_text(node=body_node.body))
  
      if text is None:
          # None of the previous reformatings worked, take the default approach.
          text = ':code:`{}`'.format(lambda_inspection.atok.get_text(node=body_node))
  
      return text