Module Runtime.Record_in

type (_, _, _) t =
| Cons : (string * ('t -> 'a) * 'a option) * ('t'b'c) t -> ('t'a -> 'b'c) t
| Nil : ('t'a'a) t
val (^::) : (string * ('a -> 'b) * 'b option) -> ('a'c'd) t -> ('a'b -> 'c'd) t