package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Pcoq.RuleSource

Sourcetype ('self, 'trec, 'f, 'r) t
Sourceval stop : ('self, Gramlib.Grammar.norec, 'r, 'r) t
Sourceval next : ('self, _, 'a, 'r) t -> ('self, _, 'b) Symbol.t -> ('self, Gramlib.Grammar.mayrec, 'b -> 'a, 'r) t
Sourceval next_norec : ('self, Gramlib.Grammar.norec, 'a, 'r) t -> ('self, Gramlib.Grammar.norec, 'b) Symbol.t -> ('self, Gramlib.Grammar.norec, 'b -> 'a, 'r) t
OCaml

Innovation. Community. Security.