links

The Links Programming Language
IN THIS PACKAGE
type t =
| Operator_not_supported_binary of string
| Operator_not_supported_unary of string
| Unsupported_function_value of Value.t
| Client_function
| Internal_error of string
| Recursive_function
| Modules_unsupported
| Application_of_nonfunction
| Unsupported_tail_computation of Ir.tail_computation
| Unexpected_closure of IrValue.closure
| Unexpected_primitive of string
| Unexpected_record
| Unexpected_phrase of Lens.Phrase.t
| Unsupported_arbitrary_if of Ir.tail_computation
| Expected_record_value of Lens.Phrase.Value.t
| Unbound_record_column of string * Lens.Phrase.Value.t
exception E of t
val to_string : t -> string
val unpack_exn : die:( string -> 'a ) -> ( 'b, t ) Lens.Utility.Result.result -> 'c
val raise : t -> 'a