Module solver 

Structs

Solution

A solution: variable name -> resolved term.

Solver

Enums

SolveResult

Result of solving a query.

Functions

term_to_string

Format a term as a human-readable string.