Module move_model::well_known
source · [−]Expand description
Names of well-known functions.
This currently only contains those declarations used somewhere, not all well-known declarations. It can be extended on the go.
Names of well-known functions.
This currently only contains those declarations used somewhere, not all well-known declarations. It can be extended on the go.