Module Flambda2_nominal.Permutation
Generic module for handling permutations.
module Make (N : Flambda2_algorithms.Container_types.S) : sig ... endFlambda2_nominal.PermutationGeneric module for handling permutations.
module Make (N : Flambda2_algorithms.Container_types.S) : sig ... end