Source file void.ml

1
include Preface_core.Void