Octachron · February 2, 2021 15:53
diff --git a/injectivity_required.ml b/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
  | _ -> .
	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
	\| _ -> .