Up – coq-core » Gramlib » Grammar » ExtS » EState

Module `ExtS.EState`

type t

val empty : t