AstMap

Mapping of kind and ordinals

Ast

Abstract syntax tree.

Binding

Binding relating functions

Compare

Comparison on types, terms and ordis

Config
Error

Functions collecting error annotations in prooftree

Eval

Call by value evaluation

Generalise

Functions related to generalisation

Graph

GraphML proof printing

Io

Output functions, general and for debugging channels

Latex

LaTeX printing

LibTools

General functions

Parser
Pos

Source code position management.

Print

Ascii Printing

Proof

Helper function to print and build prooftree

Raw

Parser level AST and translation to final AST

Sct

Size change principle.

Submljs
Subml

Main file

Subset

Implementattion of mutable sets via subset constraints

Term

Usefull fonction on terms

Timed

Undoable references

TypingBase

Data structure and basic functions for typing

Typing

Typing and subtyping algorithms