compilation/flap/tests/03-Typing/41-pattern-matching-05.good.typing.hopix.human-readable

type option<`a> = None | Some (`a)

let x : int = match (Some<int>(42)) { Some<int>((x : int)) -> x | None<int> -> 0 }