interval Struct Reference

Public Attributes
int	first
int	last

Detailed Description

Definition at line 64 of file wcwidth.c.

Member Data Documentation

first

int interval::first

Definition at line 65 of file wcwidth.c.

last

int interval::last

Definition at line 66 of file wcwidth.c.

---

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

• /home/runner/work/cbmc/cbmc/src/cprover/wcwidth.c