Hi, all I have a question on writing the interface file. A.ml type t = { x: int; y: int};; let f c = c.x + c.y;; B.ml let val = {A.x =1 ; A.y = 2};; A.f val;; open A;; f val;; How to write a interface file for B.ml, in which no functions are explicitly defined? Thanks a lot! Andy --------------------------------- Do you Yahoo!? New and Improved Yahoo! Mail - 100MB free storage!