package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Hashcons.HashconsedRecTypeSource

Sourcetype t
Sourceval hashcons : t f -> t f

Hashcons the given constructor, calling the provided function on children.

Sourceval eq : t -> t -> bool