package should

You can search for identifiers within the package.

in-package search v0.2.0

package should

should
- Should
  - Internal
    
    call
    
    coll
    
    str

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a p = 'a -> bool

class type ['elt, 'ty] coll = object ... end

class type ['a, 'b] call = object ... end

class type str = object ... end

val exn_satisfying : (exn -> bool) -> ('a, 'b) call -> bool

val make_should : 
  bool ->
  < be : 
    < above : 'a. 'a -> 'a p
    ; at : < least : 'a. 'a -> 'a p ; most : 'a. 'a -> 'a p >
    ; below : 'a. 'a -> 'a p
    ; empty : 'a 'b. ('a, 'b) coll p
    ; finite : float -> bool
    ; matching : Str.regexp -> (string, string) coll p
    ; nan : float -> bool
    ; strictly : < within : 'a. ('a * 'a) -> 'a p >
    ; within : 'a. ('a * 'a) -> 'a p >
  ; contain : 'a 'b. 'a -> ('a, 'b) coll p
  ; equal : 'a. 'a -> 'a p
  ; have : < length : 'a 'b. int -> ('a, 'b) coll p >
  ; not : 'c
  ; physically : < equal : 'a. 'a -> 'a p >
  ; raise : 
    < any : < exn : 'a 'b. ('a, 'b) call p >
    ; exn : 
      < prefixed : 'a 'b. string -> ('a, 'b) call p
      ; satisfying : 'a 'b. (exn -> bool) -> ('a, 'b) call p > >
  ; satisfy : 'a. 'a p -> 'a p > as 'c