package tyabt

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'sort t

A variable annotated by its sort.

type 'sort sort

A sort.

val fresh : 'sort sort -> string -> 'sort t

Generates a fresh variable of the given sort. The variable is unique from any other variable generated from the function.

val sort : 'sort t -> 'sort sort

Retrieves the sort of the variable.

val name : _ t -> string

Retrieves the name of the variable.

val equal : 'sort1 t -> 'sort2 t -> ('sort1, 'sort2) eq option

Checks two variables for equality. Iff the variables are equal, returns Some proof that their sorts are the same.