diff options
Diffstat (limited to 'src/Assembly/Language.v')
-rw-r--r-- | src/Assembly/Language.v | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Assembly/Language.v b/src/Assembly/Language.v index 35338b48b..460aff5fe 100644 --- a/src/Assembly/Language.v +++ b/src/Assembly/Language.v @@ -1,7 +1,8 @@ Module Type Language. - Parameter Program: Type. - Parameter State: Type. + Parameter Params: Type. + Parameter Program: Params -> Type. + Parameter State: Params -> Type. - Parameter evaluatesTo: Program -> State -> State -> Prop. + Parameter evaluatesTo: forall x: Params, Program x -> State x -> State x -> Prop. End Language. |