Tweak

Author: rossberg

interpreter/syntax/free.ml

@@ -166,16 +166,15 @@ let import_desc (d : import_desc) =
 let export (e : export) = export_desc e.it.edesc
 let import (i : import) = import_desc i.it.idesc
 
-let start (s : idx option) =
-  funcs (Lib.Option.get (Lib.Option.map idx s) Set.empty)
+let start (s : idx) = funcs (idx s)
 
 let module_ (m : module_) =
   list type_ m.it.types ++
   list global m.it.globals ++
   list table m.it.tables ++
   list memory m.it.memories ++
   list func m.it.funcs ++
-  start m.it.start ++
+  opt start m.it.start ++
   list elem m.it.elems ++
   list data m.it.datas ++
   list import m.it.imports ++

interpreter/syntax/free.mli

@@ -29,8 +29,9 @@ val elem : Ast.elem_segment -> t
 val data : Ast.data_segment -> t
 val export : Ast.export -> t
 val import : Ast.import -> t
-val start : Ast.idx option -> t
+val start : Ast.idx -> t
 
 val module_ : Ast.module_ -> t
 
+val opt : ('a -> t) -> 'a option -> t
 val list : ('a -> t) -> 'a list -> t