Current section

Files

Jump to
libero include libero@walker_OptionOf.hrl
Raw

include/libero@walker_OptionOf.hrl

-record(option_of, {inner :: libero@walker:field_type()}).