blob: 460aff5fedf8b46ff1fb6e7126adcf3c7290bc4a (
plain)
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.
|