src/Assembly/Language.v


1
2
3
4
5
6
7
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.