Module Permutation.Make

Parameters

Signature

type t
val empty : t
val print : Format.formatter -> t -> unit
val is_empty : t -> bool
val apply : t -> N.t -> N.t
val compose_one : first:t -> N.t -> N.t -> t
val compose_one_fresh : t -> N.t -> fresh:N.t -> t
val compose : second:t -> first:t -> t
val inverse : t -> t