2019-02-15 13:48:48 +01:00
|
|
|
type t =
|
|
|
|
|
| Pos
|
|
|
|
|
| Neg
|
|
|
|
|
|
|
|
|
|
val of_nperm : int -> t
|
|
|
|
|
(** Returns the phase obtained by a given number of permuations. *)
|
|
|
|
|
|
2019-02-18 15:39:26 +01:00
|
|
|
val to_nperm : t -> int
|
|
|
|
|
(** Converts the phase to [1] or [0] permutations. *)
|
|
|
|
|
|
2019-02-18 19:45:41 +01:00
|
|
|
val add : t -> t -> t
|
|
|
|
|
(** Add a given phase to an existing phase. *)
|
|
|
|
|
|
2019-02-15 16:25:47 +01:00
|
|
|
val add_nperm : t -> int -> t
|
|
|
|
|
(** Add to an existing phase a given number of permutations. *)
|
|
|
|
|
|
2019-02-18 19:45:41 +01:00
|
|
|
val neg : t -> t
|
|
|
|
|
(** Negate the phase. *)
|
2019-02-15 13:48:48 +01:00
|
|
|
|
2019-02-16 10:21:54 +01:00
|
|
|
(** {1 Printers} *)
|
|
|
|
|
|
2019-12-03 12:25:31 +01:00
|
|
|
val pp : Format.formatter -> t -> unit
|
