Up

module MenhirUtils

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