-
Jean-Christophe Filliâtre authored
whenever a function has an argument with label "ocaml:optional" or "ocaml:named", it is extracted to OCaml as an optional or named argument there is no way to indicated a default value for optional argument for the moment
f73ce286