This library exposes the following toplevel modules:
Ast Abstract syntax tree. Definition of the internal representation of SubML's types, terms and syntactic ordinals in an abstract syntax tree (AST).AstMap Binding Compare Config Error Eval Generalise Graph The goal of this module is to render proof as graphml that are easy to navigate with YedIo Latex LibTools Parser Pos Source code position management. This module can be used to map the elements of an abstract syntax tree to sequences of characters in a source file.Print Proof Raw Sct Size change principle. This module implements a decision procedure based on the work of Chin Soon Lee, Neil D. Jones and Amir M. Ben-Amram (POPL 2001). It is used by PML to check that typing and subtyping proofs are well-founded.Subset Term Timed Typing TypingBase Version Version informations.