Skip to content

Instantly share code, notes, and snippets.

@Denommus
Created January 10, 2017 23:39
Show Gist options
  • Save Denommus/e1c4575f1abeb7e997ea64f02dec609c to your computer and use it in GitHub Desktop.
Save Denommus/e1c4575f1abeb7e997ea64f02dec609c to your computer and use it in GitHub Desktop.
type (_, _) wire =
| WArr: ('a -> 'b) -> ('a, 'b) wire
| WConst: 'b -> (_, 'b) wire
| WGen: ((unit -> float) -> 'a -> 'b * ('a, 'b) wire) -> ('a, 'b) wire
| WId: ('a, 'a) wire
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment