Up
module
MenhirUtils
:
sig
#
val
pop : ('s, 'v, 't) MenhirLib.EngineTypes.env
->
('s, 'v, 't) MenhirLib.EngineTypes.env option
end