Current section

Files

Jump to
libero include libero@scanner_HandlerEndpoint.hrl
Raw

include/libero@scanner_HandlerEndpoint.hrl

-record(handler_endpoint, {
module_path :: binary(),
fn_name :: binary(),
return_ok :: libero@field_type:field_type(),
return_err :: libero@field_type:field_type(),
params :: list({binary(), libero@field_type:field_type()}),
mutates_context :: boolean(),
msg_type :: gleam@option:option({binary(), binary()})
}).