Source file `valueable0.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
open! Core
open! Import

module type S = sig
  type t
  type 'a type_

  val of_value_exn : Value0.t -> t
  val to_value : t -> Value0.t
  val type_ : t type_
  val t : t type_
end

module type S1 = sig
  type 'a t
  type 'a type_

  val of_value_exn : (Value0.t -> 'a) -> Value0.t -> 'a t
  val to_value : ('a -> Value0.t) -> 'a t -> Value0.t
  val type_ : 'a type_ -> 'a t type_
  val t : 'a type_ -> 'a t type_
end