How to refer to 'type t' in later module

Learning
1

It seems isn’t a question but I just cannot figure out. As the example below, how to refer to type ‘t’ which is defined before the module scope. many thanks

type t = {count:int; value:float}

module Temp = struct
   type t = {record: t above; ...}
end
2

Use the nonrec keyword: OCaml - The OCaml language

1 Like
3

Alternatively, you can also use a more general approach, a type alias:

type t = {count:int; value:float}

module Temp = struct
type t_above = t
type t = {record: t_above; …}
end

Btw, your code formatting didn’t work, you would need to use triple-backticks to make it work.

4

type alias seems more intuitive and both works. thx: )