start_dex
Call parameters
Field
Type
Description
type input_t_v_t is [@layout:comb] record [
token : token_t;
value : nat;
]
type start_dex_param_t is map(nat, input_t_v_t) Last updated