package frama-c
Module Frama_c_kernel.Parse_env
val open_source : scan_references:bool -> string -> (string, string) resultval set_workdir : Filepath.t -> string -> unitval get_workdir : Filepath.t -> string optionFrama_c_kernel.Parse_envval open_source : scan_references:bool -> string -> (string, string) resultval set_workdir : Filepath.t -> string -> unitval get_workdir : Filepath.t -> string option