Skip to content

@tianyicui /ordered.ml
Created

Embed URL

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
module type ORDERED =
sig
type t
val compare : t -> t -> int
end
module type HEAP =
sig
module Elem : ORDERED
type heap
end
module MakeH (Element : ORDERED) : (HEAP with module Elem = Element) =
struct
module Elem = Element
type heap
end
module rec BootstrappedElem :
sig
type t = E | T of PrimH.heap
val compare : t -> t -> int
end =
struct
type t = E | T of PrimH.heap
let compare t1 t2 = Pervasives.compare t1 t2
end
and PrimH : (HEAP with module Elem = BootstrappedElem) =
MakeH(BootstrappedElem)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.