sig module To_zone : sig exception NYI of string val not_yet_implemented : string Pervasives.ref end exception Error of Cil_types.location * string end