MatchPattern.BindingPatterntype ('M, 'T) t = {kind : Variable.kind;id : ('M, 'T) Identifier.t;comments : ('M, unit) Syntax.t option;}val pp :
(Format.formatter -> 'M -> unit) ->
(Format.formatter -> 'T -> unit) ->
Format.formatter ->
('M, 'T) t ->
unitval show :
(Format.formatter -> 'M -> unit) ->
(Format.formatter -> 'T -> unit) ->
('M, 'T) t ->
string