require_type::expected_type_argumentt Struct Reference

#include <require_type.h>

Collaboration diagram for require_type::expected_type_argumentt:

Public Attributes
type_argument_kindt	kind
irep_idt	description

Detailed Description

Definition at line 60 of file require_type.h.

Member Data Documentation

description

irep_idt require_type::expected_type_argumentt::description

Definition at line 63 of file require_type.h.

kind

type_argument_kindt require_type::expected_type_argumentt::kind

Definition at line 62 of file require_type.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/unit/java-testing-utils/require_type.h