diff options
Diffstat (limited to 'src/Assembly/Language.v')
-rw-r--r-- | src/Assembly/Language.v | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Assembly/Language.v b/src/Assembly/Language.v new file mode 100644 index 000000000..460aff5fe --- /dev/null +++ b/src/Assembly/Language.v @@ -0,0 +1,8 @@ + +Module Type Language. + Parameter Params: Type. + Parameter Program: Params -> Type. + Parameter State: Params -> Type. + + Parameter evaluatesTo: forall x: Params, Program x -> State x -> State x -> Prop. +End Language. |