Module isla_axiomatic::cat_config[][src]

This module is used to generate an initial cat typechecking context from an architecture config file.

Functions

tcx_from_config