Source file `valueable_intf.ml`

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

module type Type = sig
  type t

  val type_ : t Value.Type.t
end

module type S = S with type 'a type_ := 'a Value.Type.t
module type S1 = S1 with type 'a type_ := 'a Value.Type.t

module type Valueable = sig
  module type S = S
  module type S1 = S1

  module Make (M : Type) : S with type t := M.t
end