Module Lmmcthreadnba

type lmmc_thread_nba_state =
  1. | Tracking of int * int
  2. | Waiting
  3. | Failed
type rules =
  1. | Branch of bool * int
  2. | Follow of int
  3. | Delete of int