This contains an OCaml library that defines basic representations of types and terms, for the logic language of Imandra ("iml"). An ".iml" file contains a list of declarations of types and functions in a purely functional fragment of OCaml.
License: MIT