type size = [ `Bytes of int | `Kilobytes of int | `Megabytes of int ]
type size_test =
    [ `EqualTo of size | `LargerThan of size | `SmallerThan of size ]
type time_test = [ `After of int32 | `At of int32 | `Before of int32 ]
type test =
    [ `Accessed of time_test
    | `And of test list
    | `Created of time_test
    | `Eval of string -> Unix.stats -> bool
    | `False
    | `Group of int
    | `IName of string
    | `Modified of time_test
    | `Name of string
    | `Or of test list
    | `Owner of int
    | `Perms of Unix.file_perm
    | `Regexp of string
    | `Size of size_test
    | `True
    | `Type of Unix.file_kind ]
type t = Find.t
val make : test -> t
val find : t -> string -> string list