S (snarky.Snarky_backendless.Typ.Make.S)

type field

include Intf.S
  with type 'field checked := ( unit, 'field ) Checked.t
   and type field := field
   and type field_var := field Cvar.t

module Var : sig ... end

module Value : sig ... end