diff --git a/src/core/CCMap.mli b/src/core/CCMap.mli index bd08171e..6c7205f5 100644 --- a/src/core/CCMap.mli +++ b/src/core/CCMap.mli @@ -16,6 +16,7 @@ module type OrderedType = Map.OrderedType module type S = sig include Map.S + (** @inline *) val get : key -> 'a t -> 'a option (** [get k m] returns [Some v] if the current binding of [k] in [m] is [v], diff --git a/src/core/CCNativeint.mli b/src/core/CCNativeint.mli index 16f3a74b..02352e08 100644 --- a/src/core/CCNativeint.mli +++ b/src/core/CCNativeint.mli @@ -18,6 +18,7 @@ include module type of struct include Nativeint end +(** @inline *) val min : t -> t -> t (** [min x y] returns the minimum of the two integers [x] and [y]. diff --git a/src/core/CCOption.mli b/src/core/CCOption.mli index a50d6ad6..42476859 100644 --- a/src/core/CCOption.mli +++ b/src/core/CCOption.mli @@ -6,6 +6,7 @@ @since 3.6 *) include module type of Option +(** @inline *) val map_or : default:'b -> ('a -> 'b) -> 'a t -> 'b (** [map_or ~default f o] is [f x] if [o = Some x], [default] otherwise. diff --git a/src/core/CCPair.mli b/src/core/CCPair.mli index 76cd1af0..55f4f306 100644 --- a/src/core/CCPair.mli +++ b/src/core/CCPair.mli @@ -5,6 +5,7 @@ [@@@ifge 5.4] include module type of Pair +(** @inline *) [@@@else_] diff --git a/src/core/CCResult.mli b/src/core/CCResult.mli index 71304c5c..b4820fdf 100644 --- a/src/core/CCResult.mli +++ b/src/core/CCResult.mli @@ -17,6 +17,7 @@ type 'a printer = Format.formatter -> 'a -> unit (** {2 Basics} *) include module type of Result +(** @inline *) val return : 'a -> ('a, 'err) t (** Successfully return a value. *)