Module type ConstrSys.SysVar

type t
val is_write_only : t -> bool