Source file `nothing0.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
type t = Basement.nothing = |

let unreachable_code_local = function
  | (_ : t) -> .
;;

let unreachable_code x = unreachable_code_local x
let all = []
let hash_fold_t _ t = unreachable_code t
let hash = unreachable_code
let compare a _ = unreachable_code a
let%template[@mode local] compare a _ = unreachable_code a
let equal a _ = unreachable_code a
let%template[@mode local] equal a _ = unreachable_code a
let sexp_of_t = unreachable_code
let%template[@alloc stack] sexp_of_t = unreachable_code_local
let t_of_sexp sexp = Sexplib0.Sexp_conv_error.empty_type "Base.Nothing.t" sexp
let (t_sexp_grammar : t Sexplib0.Sexp_grammar.t) = { untyped = Union [] }
let to_string = unreachable_code
let of_string (_ : string) = failwith "Base.Nothing.of_string: not supported"
let globalize = unreachable_code