package KaSim

  1. Overview
  2. Docs
exception Undefined
exception NotBijective
exception Clashing
type t
val dummy : t
val empty : unit -> t
val is_identity : t -> bool
val identity : int list -> t
val image : t -> Mods.IntSet.t
val cyclic_permutation_from_list : stop_at:int -> int list -> t
val imperative_add : int -> int -> t -> bool
val add : int -> int -> t -> t option
val compose : bool -> t -> t -> t
val apply : t -> int -> int
val mem : int -> t -> bool
val inverse : t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val min_elt : t -> (int * int) option
val fold : (int -> int -> 'a -> 'a) -> t -> 'a -> 'a
val to_list : t -> (int * int) list
val print : Format.formatter -> t -> unit
val print_full : Format.formatter -> t -> unit
val to_yojson : t -> Yojson.Basic.json
val of_yojson : Yojson.Basic.json -> t