package tyabt

You can search for identifiers within the package.

in-package search v0.2.0

tyabt
- Tyabt
  - Make
    
    Operator
    
    Sort
    
    Variable
  - Operator
  - S
    
    Operator
    
    Sort
    
    Variable
  - Sort
  - Variable

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'sort t = 'sort Sort.t

The type parameter is a phantom type that represents the sort.

val equal : 
  'sort1 t ->
  'sort2 t ->
  (('sort1, 'sort2) eq, ('sort1, 'sort2) eq -> 'any) Either.t

Decides the equality of two sorts. Iff the sorts are equal, returns a proof that their types are equal. Iff the sorts are unequal, it returns a proof that their types are not equal.