Module `BottomUp.Hashcons`

Parameters

S : SymbolType

Signature

include SymbolType with type SymbolType.t = private S.t

type t = private S.t

val equal : t -> t -> bool
val hash : t -> int
val to_string : t -> string

val make : S.t -> t: Hashcons the symbol