smondet

module Abstract_value :
sig
  type t
  val create : unit -> t
end =
struct
  type t = unit -> unit

  let create () =

NicolasT

(* Generics for OCaml
 *
 * This is a huge hack. It doesn't work with higher-kinded types. It, well,
 * hardly works for anything but the provided samples :-P
 *)

(* Standard Generic representation types *)
(* Unit *)
type u = U
(* Sum types ('Plus') *)