Current section

Files

Jump to
lustre include lustre@vdom@patch_Remove.hrl
Raw

include/lustre@vdom@patch_Remove.hrl

-record(remove, {kind :: integer(), index :: integer()}).