Frama_c_kernel_base.Parse_envval open_source :
scan_references:bool ->
Fclib.Filepath.t ->
(string, string) Stdlib.resultval set_workdir : Fclib.Filepath.t -> Fclib.Filepath.t -> unitval get_workdir : Fclib.Filepath.t -> Fclib.Filepath.t option