(* .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 :
[ `No_siblings ] t ->
([ `No_siblings ] 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
KCogLm1sICopCmxldCBub19zaWJsaW5nc19vZl90IHQgPQogIG1hdGNoIHQuY29udGVudHMgd2l0aAogICAgfCBbX10gLT4gT2sgdAogICAgfCBfICAgLT4gRXJyb3IgYEhhc19zaWJsaW5ncwoKKCogLm1saSAqKQp2YWwgbm9fc2libGluZ3Nfb2ZfdCA6ICdhIHQgLT4gKFsgYE5vX3NpYmxpbmdzIF0gdCwgWz4gYEhhc19zaWJsaW5ncyBdKSBSZXN1bHQudAoKKCogZXJyb3IgKikKRXJyb3I6IFRoZSBpbXBsZW1lbnRhdGlvbiByb2JqLm1sIGRvZXMgbm90IG1hdGNoIHRoZSBpbnRlcmZhY2Ugcm9iai5jbWk6CiAgICAgICBWYWx1ZXMgZG8gbm90IG1hdGNoOgogICAgICAgICB2YWwgbm9fc2libGluZ3Nfb2ZfdCA6CiAgICAgICAgICAgWyBgTm9fc2libGluZ3MgXSB0IC0+CiAgICAgICAgICAgKFsgYE5vX3NpYmxpbmdzIF0gdCwgWz4gYEhhc19zaWJsaW5ncyBdKSBDb3JlLlN0ZC5fcmVzdWx0CiAgICAgICBpcyBub3QgaW5jbHVkZWQgaW4KICAgICAgICAgdmFsIG5vX3NpYmxpbmdzX29mX3QgOgogICAgICAgICAgICdhIHQgLT4gKFsgYE5vX3NpYmxpbmdzIF0gdCwgWz4gYEhhc19zaWJsaW5ncyBdKSBDb3JlLlN0ZC5SZXN1bHQudAo=