package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type level =

type route_id = int

val default_route : route_id

type feedback_content =

type feedback = {

}

val add_feeder : (feedback -> unit) -> int

val del_feeder : int -> unit

val feedback : ?id:Stateid.t -> ?route:route_id -> feedback_content -> unit

val set_id_for_feedback : ?route:route_id -> Stateid.t -> unit

val msg_info : ?loc:Loc.t -> Pp.std_ppcmds -> unit

val msg_notice : ?loc:Loc.t -> Pp.std_ppcmds -> unit

val msg_warning : ?loc:Loc.t -> Pp.std_ppcmds -> unit

val msg_error : ?loc:Loc.t -> Pp.std_ppcmds -> unit

val msg_debug : ?loc:Loc.t -> Pp.std_ppcmds -> unit