package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3

Sourcetype ('self, 'trec, 'a) t

Sourceval nterm : 'a Entry.t -> ('self, norec, 'a) t

Sourceval nterml : 'a Entry.t -> string -> ('self, norec, 'a) t

Sourceval list0 : ('self, 'trec, 'a) t -> ('self, 'trec, 'a list) t

val list0sep : 
  ('self, 'trec, 'a) t ->
  ('self, norec, unit) t ->
  bool ->
  ('self, 'trec, 'a list) t

Sourceval list1 : ('self, 'trec, 'a) t -> ('self, 'trec, 'a list) t

val list1sep : 
  ('self, 'trec, 'a) t ->
  ('self, norec, unit) t ->
  bool ->
  ('self, 'trec, 'a list) t

Sourceval opt : ('self, 'trec, 'a) t -> ('self, 'trec, 'a option) t

Sourceval self : ('self, mayrec, 'self) t

Sourceval next : ('self, mayrec, 'self) t

Sourceval token : 'c pattern -> ('self, norec, 'c) t

Sourceval tokens : ty_pattern list -> ('self, norec, unit) t

Sourceval rules : 'a Rules.t list -> ('self, norec, 'a) t