cprover
Loading...
Searching...
No Matches
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 62 of file require_type.h.

Member Data Documentation

◆ description

irep_idt require_type::expected_type_argumentt::description

Definition at line 65 of file require_type.h.

◆ kind

type_argument_kindt require_type::expected_type_argumentt::kind

Definition at line 64 of file require_type.h.


The documentation for this struct was generated from the following file:
  • /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/jbmc/unit/java-testing-utils/require_type.h