src/Assembly/Language.v


1
2
3
4
5
6
7


Module Type Language.
  Parameter Program: Type.
  Parameter State: Type.

  Parameter evaluatesTo: Program -> State -> State -> Prop.
End Language.