Skip to content

Instantly share code, notes, and snippets.

@Octachron

Octachron/injectivity_required.ml

Last active February 2, 2021 15:53
Show Gist options
  • Save Octachron/0ebff22f6fb006061132d6b5254e3352 to your computer and use it in GitHub Desktop.
Save Octachron/0ebff22f6fb006061132d6b5254e3352 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
injectivity_required.ml
module M = Map.Make(struct type t = int let compare = compare end)
type _ maps =
| Int: int M.t maps
| Float: float M.t maps
let add_zero_int (w:int M.t maps) = match w with
| Int -> 0
| _ -> .
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment