mirror of
https://github.com/LCPQ/quantum_package
synced 2024-06-26 23:22:18 +02:00
106 lines
2.0 KiB
OCaml
106 lines
2.0 KiB
OCaml
module Positive_float : sig
|
|
type t
|
|
val to_float : t -> float
|
|
val of_float : float -> t
|
|
end = struct
|
|
type t = float
|
|
let to_float x = x
|
|
let of_float x = ( assert (x > 0.) ; x )
|
|
end
|
|
|
|
|
|
module Strictly_positive_float : sig
|
|
type t
|
|
val to_float : t ->float
|
|
val of_float : float -> t
|
|
end = struct
|
|
type t =float
|
|
let to_float x = x
|
|
let of_float x = ( assert (x >= 0.) ; x )
|
|
end
|
|
|
|
|
|
module Positive_int : sig
|
|
type t
|
|
val to_int : t -> int
|
|
val of_int : int -> t
|
|
end = struct
|
|
type t = int
|
|
let to_int x = x
|
|
let of_int x = ( assert (x > 0) ; x )
|
|
end
|
|
|
|
|
|
module Strictly_positive_int : sig
|
|
type t
|
|
val to_int : t -> int
|
|
val of_int : int -> t
|
|
end = struct
|
|
type t = int
|
|
let to_int x = x
|
|
let of_int x = ( assert (x >= 0) ; x )
|
|
end
|
|
|
|
|
|
module Non_empty_string : sig
|
|
type t
|
|
val to_string : t -> string
|
|
val of_string : string -> t
|
|
end = struct
|
|
type t = string
|
|
let to_string x = x
|
|
let of_string x = ( assert (x <> "") ; x )
|
|
end
|
|
|
|
(*
|
|
module MO_number : sig
|
|
type t
|
|
val to_int : t -> int
|
|
val of_int : int -> t
|
|
end = struct
|
|
type t = int
|
|
let to_int x = x
|
|
let of_int x = ( assert (x > 0) ;
|
|
if (Ezfio.has_mo_basis_mo_tot_num ()) then
|
|
assert (x <= (Ezfio.get_mo_basis_mo_tot_num ())); x )
|
|
end
|
|
|
|
|
|
module AO_number : sig
|
|
type t
|
|
val to_int : t -> int
|
|
val of_int : int -> t
|
|
end = struct
|
|
type t = int
|
|
let to_int x = x
|
|
let of_int x = ( assert (x > 0) ;
|
|
if (Ezfio.has_ao_basis_ao_num ()) then
|
|
assert (x <= (Ezfio.get_ao_basis_ao_num ())); x )
|
|
end
|
|
|
|
|
|
module N_int_number : sig
|
|
type t
|
|
val to_int : t -> int
|
|
val of_int : int -> t
|
|
end = struct
|
|
type t = int
|
|
let to_int x = x
|
|
let of_int x = ( assert (x > 0) ;
|
|
if (Ezfio.has_determinants_n_int ()) then
|
|
assert (x == (Ezfio.get_determinants_n_int ())); x )
|
|
end
|
|
|
|
module Det_number : sig
|
|
type t
|
|
val to_int : t -> int
|
|
val of_int : int -> t
|
|
end = struct
|
|
type t = int
|
|
let to_int x = x
|
|
let of_int x = ( assert (x > 0) ;
|
|
if (Ezfio.has_determinants_det_num ()) then
|
|
assert (x <= (Ezfio.get_determinants_det_num ())); x )
|
|
end
|
|
*)
|