CoercionExpr
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
A coercion representation of casts on security labels with subtyping built-in.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
A coercion representation of casts on security labels with subtyping built-in.