23 lines
1.3 KiB
C
23 lines
1.3 KiB
C
/**************************************************************************/
|
|
/* */
|
|
/* OCaml */
|
|
/* */
|
|
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
|
|
/* Stephen Dolan, University of Cambridge */
|
|
/* */
|
|
/* Copyright 2019 Indian Institute of Technology, Madras */
|
|
/* Copyright 2019 University of Cambridge */
|
|
/* */
|
|
/* All rights reserved. This file is distributed under the terms of */
|
|
/* the GNU Lesser General Public License version 2.1, with the */
|
|
/* special exception on linking described in the file LICENSE. */
|
|
/* */
|
|
/**************************************************************************/
|
|
|
|
type t =
|
|
#define DOMAIN_STATE(type, name) | Domain_##name
|
|
#include "domain_state.tbl"
|
|
#undef DOMAIN_STATE
|
|
|
|
val idx_of_field : t -> int
|