Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type term = | Var of variable| Star| Pi of abstraction| Lambda of abstraction| App of term * term| Int of int| Bool of int| Ann of term * term| If of term * term * term| And of term * term| Or of term * term| Op of term * term list| Let of abstraction| IntType| BoolType| List of term * term| Prod of term list| BinaryOp of (term * term) -> term| UnaryOp of term -> term| Nil of term| Cons of term * term * term * term| IsNil of term| Head of term| Tail of term| Seq of term * term
val makeString : string -> variableval toString : term -> string