1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
 
//! Serialization interface. 
//! 
//! This module contains APIs to simplify 
//! serialization and deserialization of 
//! objects. 
//! 
//! @seealso 
//!   @[serialize()], @[deserialize()] 
 
constant Serializable = Builtin.Serializable; 
constant serialize = Builtin.serialize; 
constant deserialize = Builtin.deserialize;