Module `Permutation.Make`

Parameters

module N : Flambda2_algorithms.Container_types.S

type t

val empty : t

val print : Stdlib.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