Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
186 B · 5 lines
at main
123456type t = AtomBase.String.tmodule Base: AtomBase.BASE_ATOM with type t = tmodule Atom: AtomDef.ATOM with module Base = Basemodule AtomView: AtomDef.ATOM_VIEW with module Atom := Atom