Dear Hongwei, On Sun, Aug 30, 2020 at 11:04 PM gmhwxi <[email protected]> wrote: > You could also do it by using a type-annotation: --snip-- > prval () = view@opts := (pf_opts: (ip6_pktopts?)@opts)
Thank you. It's a new usage for me. -- Kiwamu Okabe at METASEPI DESIGN -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3DJ%2B-jpDShD94xWWwTkcrrZ%3DEsik2F4T-YtAKffGKonCw%40mail.gmail.com.
