Module Serlib.Serlib_initSource

Sourcetype options = {
  1. omit_loc : bool;
  2. omit_att : bool;
  3. omit_env : bool;
  4. exn_on_opaque : bool;
}
Sourceval init : options:options -> unit