package travesty

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Elements must have equality. While this is an extra restriction on top of the Base equivalent, it is required by Make0, and helps us define chaining operations.

type t
val equal : t Base.Equal.equal