Skip to content

Instantly share code, notes, and snippets.

@Kakadu

Kakadu/specialize.ml

Created July 7, 2021 11:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Kakadu/ce32ae13a67118e3381a9388f865617d to your computer and use it in GitHub Desktop.
Save Kakadu/ce32ae13a67118e3381a9388f865617d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
specialize.ml
module Env : sig
type 'a t
include Map.S with type 'a t := int t
end = struct
type 'a t
include (Map.Make (String) : Map.S with type 'a t := int t)
(* Values do not match:
val empty : 'a t/1
is not included in
val empty : int t/2*)
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment