2020-12-28 01:08:55 +01:00
|
|
|
(* Type *)
|
2018-02-25 00:53:09 +01:00
|
|
|
|
2020-12-28 01:08:55 +01:00
|
|
|
|
|
|
|
(* [[file:../powers.org::*Type][Type:1]] *)
|
2018-02-25 00:53:09 +01:00
|
|
|
type t = private {
|
2020-12-28 01:08:55 +01:00
|
|
|
x : int ;
|
|
|
|
y : int ;
|
|
|
|
z : int ;
|
|
|
|
tot : int ;
|
|
|
|
}
|
|
|
|
(* Type:1 ends here *)
|
2018-02-25 00:53:09 +01:00
|
|
|
|
2020-12-28 01:08:55 +01:00
|
|
|
(* Conversions *)
|
2018-02-25 00:53:09 +01:00
|
|
|
|
|
|
|
|
2020-12-28 01:08:55 +01:00
|
|
|
(* [[file:../powers.org::*Conversions][Conversions:1]] *)
|
|
|
|
val of_int_tuple : int * int * int -> t
|
|
|
|
val to_int_tuple : t -> int * int * int
|
|
|
|
(* Conversions:1 ends here *)
|
2018-02-25 00:53:09 +01:00
|
|
|
|
2020-12-28 01:08:55 +01:00
|
|
|
(* Operations *)
|
2018-02-25 00:53:09 +01:00
|
|
|
|
|
|
|
|
2020-12-28 01:08:55 +01:00
|
|
|
(* [[file:../powers.org::*Operations][Operations:1]] *)
|
2018-02-19 11:24:15 +01:00
|
|
|
val get : Coordinate.axis -> t -> int
|
2018-02-19 16:01:13 +01:00
|
|
|
val incr : Coordinate.axis -> t -> t
|
2018-02-19 11:24:15 +01:00
|
|
|
val decr : Coordinate.axis -> t -> t
|
2020-12-28 01:08:55 +01:00
|
|
|
(* Operations:1 ends here *)
|
2018-02-25 00:53:09 +01:00
|
|
|
|
2020-12-28 01:08:55 +01:00
|
|
|
(* Printers *)
|
2018-02-25 00:53:09 +01:00
|
|
|
|
2018-02-19 11:24:15 +01:00
|
|
|
|
2020-12-28 01:08:55 +01:00
|
|
|
(* [[file:../powers.org::*Printers][Printers:1]] *)
|
|
|
|
val pp : Format.formatter -> t -> unit
|
|
|
|
(* Printers:1 ends here *)
|