You can search for identifiers within the package.
in-package search v0.2.0
type t = Sdlrect.t = {
x : int;
y : int;
w : int;
h : int;
}
val make : pos:(int * int) -> dims:(int * int) -> t
val make1 : (int * int * int * int) -> t
val make2 : pos:(int * int) -> dims:(int * int) -> t
val make4 : x:int -> y:int -> w:int -> h:int -> t
val move : t -> x:int -> y:int -> t
val has_intersection : a:t -> b:t -> bool