typeside t schema s : t instance i : s ---------------------------------- command (export_tinkerop_instance i {})