Plasma GitLab Archive
Projects Blog Knowledge

functor (T : TYPE->
  sig type t = T.t val wrap : t -> encap val unwrap : encap -> t end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml