(* This doesn't work *) module Bar : sig type t end = struct end let d : Bar.t = 3 let e : Bar.t = 5
Standard input is empty
File "prog.ml", line 8, characters 16-17: Error: This expression has type int but an expression was expected of type Bar.t
Standard output is empty