links

The Links Programming Language
IN THIS PACKAGE
type t =
| Minus
| Not
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val to_string : t -> string
val of_string : string -> ( t, Operator_not_found_exception.t ) result
val of_string_exn : string -> t

Do not use.

val fmt : Format.formatter -> t -> unit