xref: /seL4-l4v-master/HOL4/src/portableML/UniversalType.sig

signature UniversalType =
sig
  type t

  val embed: unit -> ('a -> t) * (t -> 'a option)
end