Property definitions

mnit $ InputEvent :: defaultinit
# Input to the App, propagated through `App::input`.
interface InputEvent
end
lib/mnit/input.nit:21,1--23,3