(* .ml *)
let no_siblings_of_t t =
  match t.contents with
    | [_] -> Ok t
    | _   -> Error `Has_siblings
 
(* .mli *)
val no_siblings_of_t : 'a t -> ([ `No_siblings ] t, [> `Has_siblings ]) Result.t
 
(* error *)
(*
Error: The implementation robj.ml does not match the interface robj.cmi:
       Values do not match:
         val no_siblings_of_t :
           'a t -> ('a t, [> `Has_siblings ]) Core.Std._result
       is not included in
         val no_siblings_of_t :
           'a t -> ([ `No_siblings ] t, [> `Has_siblings ]) Core.Std.Result.t
*)

KCogLm1sICopCmxldCBub19zaWJsaW5nc19vZl90IHQgPQogIG1hdGNoIHQuY29udGVudHMgd2l0aAogICAgfCBbX10gLT4gT2sgdAogICAgfCBfICAgLT4gRXJyb3IgYEhhc19zaWJsaW5ncwoKKCogLm1saSAqKQp2YWwgbm9fc2libGluZ3Nfb2ZfdCA6ICdhIHQgLT4gKFsgYE5vX3NpYmxpbmdzIF0gdCwgWz4gYEhhc19zaWJsaW5ncyBdKSBSZXN1bHQudAoKKCogZXJyb3IgKikKKCoKRXJyb3I6IFRoZSBpbXBsZW1lbnRhdGlvbiByb2JqLm1sIGRvZXMgbm90IG1hdGNoIHRoZSBpbnRlcmZhY2Ugcm9iai5jbWk6CiAgICAgICBWYWx1ZXMgZG8gbm90IG1hdGNoOgogICAgICAgICB2YWwgbm9fc2libGluZ3Nfb2ZfdCA6CiAgICAgICAgICAgJ2EgdCAtPiAoJ2EgdCwgWz4gYEhhc19zaWJsaW5ncyBdKSBDb3JlLlN0ZC5fcmVzdWx0CiAgICAgICBpcyBub3QgaW5jbHVkZWQgaW4KICAgICAgICAgdmFsIG5vX3NpYmxpbmdzX29mX3QgOgogICAgICAgICAgICdhIHQgLT4gKFsgYE5vX3NpYmxpbmdzIF0gdCwgWz4gYEhhc19zaWJsaW5ncyBdKSBDb3JlLlN0ZC5SZXN1bHQudAoqKQ==