Intf.S
type field
type field_var
type 'field checked
module Var : sig ... end
module Value : sig ... end