Module A

module A: sig .. end

val poly : 'a list -> 'a

val nop : unit -> unit

val do_nothing_1 : unit -> unit

val do_nothing_2 : unit -> unit

val do_something : unit -> unit

val f : int -> int

some info...
 check that passed parameter is positive

val g : float -> float

 before release

val h : bool -> bool

some info...
 should never raise an exception

val get : unit -> int

some info...
 uses a random generator

val apply : ('a -> unit) -> 'a list -> unit

some info...
 use apply_mt in multithread application

val apply_mt : ('a -> unit) -> 'a list -> unit

some info...
 use apply in monothread application

val complex : float -> float -> float * float

some info...
 will not work if...
 may also diverge when...
 one should be aware...

val buggy : bool -> int

some info...
 additional info
 when called with false
 when called with true

val fresh : string -> int

some info...
 handles the empty string
 may not work if the string contains white spaces