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

An operator is a function symbol.

type ('arity, 'sort) t

The operator's type contains two phantom type parameters, the first for the operator's arity and the second for the operator's sort.

val equal : 
  ('arity1, 'sort) t ->
  ('arity2, 'sort) t ->
  ('arity1, 'arity2) eq option

Checks the equality of two operators from the same sort. Iff the operators are equal, returns a proof that their arities are equal.

val pp_print : Format.formatter -> (_, _) t -> unit

Prettyprints the operator.