package KaSim

  1. Overview
  2. Docs
type t = int * int
val compare : t -> t -> int
val sort : t -> int
val id : t -> int
val print : ?sigs:Signature.s -> with_id:bool -> Format.formatter -> t -> unit
val print_site : ?sigs:Signature.s -> t -> Format.formatter -> int -> unit
val print_internal : ?sigs:Signature.s -> t -> int -> Format.formatter -> int -> unit
val rename : Renaming.t -> t -> t
val to_json : t -> Yojson.Basic.json
val of_json : Yojson.Basic.json -> t
module SetMap : sig ... end