firewall/utils.ml

let rec deoptionalise = function
  | Some x :: xs -> x :: deoptionalise xs
  | None :: xs -> deoptionalise xs
  | [] -> []
Initial commit 2022-08-29 07:01:56 +02:00			`let rec deoptionalise = function`
Format utils.ml 2022-08-29 22:50:52 +02:00			`\| Some x :: xs -> x :: deoptionalise xs`
Initial commit 2022-08-29 07:01:56 +02:00			`\| None :: xs -> deoptionalise xs`
			`\| [] -> []`