mirror of
https://github.com/LCPQ/quantum_package
synced 2024-11-08 07:03:57 +01:00
19 lines
451 B
OCaml
19 lines
451 B
OCaml
|
open Qptypes;;
|
||
|
|
|
||
|
|
type t = S | P | D | F | G | H | I | J | K | L
|
||
|
|
val to_string : t -> string
|
||
|
|
val of_string : string -> t
|
||
|
|
val of_char : char -> t
|
||
|
|
val to_l : t -> Positive_int.t
|
||
|
|
type st = t
|
||
|
|
module Xyz :
|
||
|
|
sig
|
||
|
|
type t = { x: Positive_int.t ;
|
||
|
|
y: Positive_int.t ;
|
||
|
|
z: Positive_int.t }
|
||
|
|
val of_string : string -> t
|
||
|
|
val to_string : t -> string
|
||
|
|
val get_l : t -> Positive_int.t
|
||
|
|
val of_symmetry : st -> t list
|
||
|
|
end
|