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 |
This module is used to generate an initial cat typechecking context from an architecture config file.
tcx_from_config |