1 2 3 4 5 6 7
type inst_info = { mutable inumb : int; mutable pcond : bool option; mutable visited : bool; } type block_info = { mutable bnumb : int; mutable visited : bool }