Project Page
Index
Table of Contents
Minuska.string_variables
From
Minuska
Require
Import
prelude
spec
.
Definition
StringVariables
:
MVariables
string
:=
Build_MVariables
_
_
_
_
.