fork download
  1. (* .ml *)
  2. let no_siblings_of_t t =
  3. match t.contents with
  4. | [_] -> Ok t
  5. | _ -> Error `Has_siblings
  6.  
  7. (* .mli *)
  8. val no_siblings_of_t : 'a t -> ([ `No_siblings ] t, [> `Has_siblings ]) Result.t
  9.  
  10. (* error *)
  11. Error: The implementation robj.ml does not match the interface robj.cmi:
  12. Values do not match:
  13. val no_siblings_of_t :
  14. [ `No_siblings ] t ->
  15. ([ `No_siblings ] t, [> `Has_siblings ]) Core.Std._result
  16. is not included in
  17. val no_siblings_of_t :
  18. 'a t -> ([ `No_siblings ] t, [> `Has_siblings ]) Core.Std.Result.t
  19.  
Not running #stdin #stdout 0s 0KB
stdin
Standard input is empty
stdout
Standard output is empty