2019-03-13 11:35:21 +01:00
|
|
|
open Sexplib.Std
|
2019-01-25 11:39:31 +01:00
|
|
|
|
|
|
|
|
type t =
|
|
|
|
|
| Guess
|
|
|
|
|
| Canonical
|
|
|
|
|
| Natural
|
|
|
|
|
| Localized
|
|
|
|
|
| Orthonormalized
|
|
|
|
|
| None
|
|
|
|
|
[@@deriving sexp]
|
2019-03-13 11:35:21 +01:00
|
|
|
|
2019-01-25 11:39:31 +01:00
|
|
|
|
|
|
|
|
let to_string = function
|
|
|
|
|
| Guess -> "Guess"
|
|
|
|
|
| Canonical -> "Canonical"
|
|
|
|
|
| Orthonormalized -> "Orthonormalized"
|
|
|
|
|
| Natural -> "Natural"
|
|
|
|
|
| Localized -> "Localized"
|
|
|
|
|
| None -> "None"
|
|
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
let of_string s =
|
2019-03-13 11:35:21 +01:00
|
|
|
match String.lowercase_ascii (String.trim s) with
|
2019-01-25 11:39:31 +01:00
|
|
|
| "guess" -> Guess
|
|
|
|
|
| "canonical" -> Canonical
|
|
|
|
|
| "natural" -> Natural
|
|
|
|
|
| "localized" -> Localized
|
|
|
|
|
| "orthonormalized" -> Orthonormalized
|
|
|
|
|
| "none" -> None
|
|
|
|
|
| _ -> (print_endline s ; failwith "MO_label should be one of:
|
|
|
|
|
Guess | Orthonormalized | Canonical | Natural | Localized | None.")
|
|
|
|
|
;;
|
