sig
  val smt : unit -> bool
  val inline : unit -> bool
  val recdef : unit -> bool
  val var_size : unit -> bool
end