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

Module `GMake.EState`

type t

val empty : t