fallthrough | Fallthrough function |
make_opt | Make optional |
match_with | Match With |
none | None |
option | option |
opt_unwrap | Option Unwrap |
some | some |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.