let of_string = function | "u" -> u | "la" -> la | "p" -> p | "bv" -> bv | "cop" -> cop | "nl" -> nl | "cl" -> app | "arr" -> arr | "pset" -> set | str -> raise (Invalid_argument (str ^ ": no such theory"))