{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"///"}]}
/// mostly opaque; the `Machine` trait extends it with some more operations that also have access to
/// This trait abstracts over the kind of provenance that is associated with a `Pointer`. It is
/// some global state.