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 59 of file require_type.h.

Member Data Documentation

description

irep_idt require_type::expected_type_argumentt::description

Definition at line 62 of file require_type.h.

kind

type_argument_kindt require_type::expected_type_argumentt::kind

Definition at line 61 of file require_type.h.

---

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

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