package menhirSdk

  1. Overview
  2. Docs

Module Surface.SyntaxSource

Sourcetype ('param, 'sym) t
Sourceval types : (_, 'sym) t -> ('sym * ocamltype) list
Sourceval tokens : (_, _) t -> (name * Token.t) list
Sourceval rules : ('param, 'sym) t -> (name * ('param, 'sym) Rule.t) list
Sourcetype ground = (unit, name) t
Sourcetype higher = (name list, Parameter.t) t