should 0.1.0 · OCaml Package

module Internal : sig ... end

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

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

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

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

val ($) : 'a -> ('a -> bool) -> unit

val list : 
  'a list ->
  < contains : 'a -> bool
  ; length : int
  ; value : 'a list >

val array : 
  'a array ->
  < contains : 'a -> bool
  ; length : int
  ; value : 'a array >

val string : 
  string ->
  < contains : string -> bool
  ; length : int
  ; value : string >

val calling : 'a -> 'b -> < arg : 'b ; func : 'a >

package should