max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(library/init/meta/vm): style

Browse source
This commit is contained in:
Leonardo de Moura 2017-02-25 12:47:58 -08:00
parent 35acad642c
commit 7ec0505e94
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
library/init/meta/vm.lean
View file

@ -130,8 +130,8 @@ do fmt ← return $ to_fmt a,
end vm
meta structure vm_monitor (s : Type) :=
(init : s) (step : s → vm s)
meta structure vm_monitor (α : Type) :=
(init : α) (step : α → vm α)
/- Registers a new virtual machine monitor. The argument must be the name of a definition of type
`vm_monitor S`. The command will override the last monitor.