1 (* Copyright (C) 2008 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
11 structure Rep : sig type t end
12 val arrayFromRep : Rep.t array -> t array
13 val arrayToRep : t array -> Rep.t array
14 val fromRep : Rep.t -> t
15 val listFromRep : Rep.t list -> t list
16 val listToRep : t list -> Rep.t list
17 val toRep : t -> Rep.t
18 val vectorFromRep : Rep.t vector -> t vector
19 val vectorToRep : t vector -> Rep.t vector
22 signature ABS_REP_EQ =
25 structure Rep : sig eqtype t end
26 val arrayFromRep : Rep.t array -> t array
27 val arrayToRep : t array -> Rep.t array
28 val fromRep : Rep.t -> t
29 val listFromRep : Rep.t list -> t list
30 val listToRep : t list -> Rep.t list
31 val toRep : t -> Rep.t
32 val vectorFromRep : Rep.t vector -> t vector
33 val vectorToRep : t vector -> Rep.t vector