Module parse_val

Parses the output of Rust Debug strings into reflected values of type Val. (See engine::reflect module).

We use this parse as a non-intrusive mechanism for building the values in the reflected DCG, which consists of crawling user-defined data structures, and following their articulations. We use the values’ Debug strings to do this traversal.

Functions

parse_val

Transform most(*) Rust data that derives Debug into a reflected Val.