serial.mli 1.19 KB
Newer Older
1
(*
2
module P : sig
3 4 5
  type chunk
  val init: unit -> chunk
  val mk: chunk -> string
6

7 8 9 10
  val pm: chunk -> Types.t * Patterns.Node.t list -> int
  val const: chunk -> Types.const -> int
  val label: chunk -> Ident.label -> int
  val typ: chunk -> Types.t -> int
11
  val label_array: chunk -> Ident.label array -> int
12
  val tag: chunk -> Atoms.V.t -> int
13
  val tag_array: chunk -> (Atoms.V.t * int) array -> int
14
  val typ2: chunk -> Types.t -> Types.t -> int
15 16 17 18 19 20
end

module G : sig
  type chunk
  val mk: string -> chunk

21 22
  val pm: chunk -> int -> Value.t -> int * Value.t array
  val const: chunk -> int -> Value.t
23
  val remove_label: chunk -> int -> Value.t -> Value.t
24
  val get_field: chunk -> int -> Value.t -> Value.t
25
  val typ: chunk -> int -> Types.t
26
  val check: chunk -> int -> Value.t -> Value.t
27
  val record: chunk -> int -> Value.t array -> Value.t
28
  val constr: chunk -> int -> Value.t array -> Value.t
29
  val constr_const: chunk -> int -> Value.t
30
  val dconstr: chunk -> int -> Value.t -> Obj.t
31
  val dvariant: chunk -> int -> Value.t -> Obj.t
32
end
33
*)
34

35 36 37 38 39 40 41
module P : sig
  type chunk

  val init: unit -> chunk
  val mk: chunk -> string
  val put: chunk -> 'a -> int
end
42

43 44 45
module G : sig
  val mk: string -> Obj.t array
end