sig
  type t = None | GeneralDynamic | LocalDynamic | InitialExec | LocalExec
end