package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val on_fst : ('a -> 'b) -> ('a * 'c) -> 'b * 'c

val on_snd : ('a -> 'b) -> ('c * 'a) -> 'c * 'b

val map_pair : ('a -> 'b) -> ('a * 'a) -> 'b * 'b

val on_pi1 : ('a -> 'b) -> ('a * 'c * 'd) -> 'b * 'c * 'd

val on_pi2 : ('a -> 'b) -> ('c * 'a * 'd) -> 'c * 'b * 'd

val on_pi3 : ('a -> 'b) -> ('c * 'd * 'a) -> 'c * 'd * 'b

val pi1 : ('a * 'b * 'c) -> 'a

val pi2 : ('a * 'b * 'c) -> 'b

val pi3 : ('a * 'b * 'c) -> 'c

val is_letter : char -> bool

val is_digit : char -> bool

val is_ident_tail : char -> bool

val is_blank : char -> bool

module Empty : sig ... end

module String : CString.ExtS

val subst_command_placeholder : string -> string -> string

module List : CList.ExtS

val (@) : 'a list -> 'a list -> 'a list

module Array : CArray.ExtS

module Set : sig ... end

module Map : sig ... end

module Stack : sig ... end

val stream_nth : int -> 'a Stream.t -> 'a

val stream_njunk : int -> 'a Stream.t -> unit

val matrix_transpose : 'a list list -> 'a list list

val identity : 'a -> 'a

val (%>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c

val const : 'a -> 'b -> 'a

val iterate : ('a -> 'a) -> int -> 'a -> 'a

val repeat : int -> ('a -> unit) -> 'a -> unit

val app_opt : ('a -> 'a) option -> 'a -> 'a

type !'a delayed = unit -> 'a

val delayed_force : 'a delayed -> 'a

type iexn = Exninfo.iexn

val iraise : iexn -> 'a

type (!'a, !'b) union = ('a, 'b) CSig.union =

module Union : sig ... end

val map_union : ('a -> 'c) -> ('b -> 'd) -> ('a, 'b) union -> ('c, 'd) union

type !'a until = 'a CSig.until =

type (!'a, !'b) eq = ('a, 'b) CSig.eq =

val sym : ('a, 'b) eq -> ('b, 'a) eq

val open_utf8_file_in : string -> in_channel