mirror of
https://gitlab.com/scemama/QCaml.git
synced 2024-09-01 17:23:41 +02:00
23 lines
463 B
OCaml
23 lines
463 B
OCaml
type t =
|
|
| Pos
|
|
| Neg
|
|
|
|
val of_nperm : int -> t
|
|
(** Returns the phase obtained by a given number of permuations. *)
|
|
|
|
val to_nperm : t -> int
|
|
(** Converts the phase to [1] or [0] permutations. *)
|
|
|
|
val add : t -> t -> t
|
|
(** Add a given phase to an existing phase. *)
|
|
|
|
val add_nperm : t -> int -> t
|
|
(** Add to an existing phase a given number of permutations. *)
|
|
|
|
val neg : t -> t
|
|
(** Negate the phase. *)
|
|
|
|
(** {1 Printers} *)
|
|
|
|
val pp : Format.formatter -> t -> unit
|