package gospel

  1. Overview
  2. Docs
type t = tvsymbol
val equal : tvsymbol -> tvsymbol -> bool
val compare : tvsymbol -> tvsymbol -> int
val hash : tvsymbol -> int
OCaml

Innovation. Community. Security.