Skip to content

Instantly share code, notes, and snippets.

Created Oct 30, 2016
What would you like to do?
type xy_part = [`X of int | `Y of bool]
type pre = [xy_part | `Pcon of pre * pre];;
let rec pcon_to_lstm (arg: pre) : xy_part list =
match arg with
| `Pcon (a, b) -> (pcon_to_lstm a) @ (pcon_to_lstm b)
| (#xy_part as x) -> [x]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment