Checked_intf (snarky.Snarky_backendless.Checked

module type Basic = sig ... end

module type S = sig ... end

module type Extended = sig ... end

module Unextend
  (Checked : Extended) : 
  S with module Types = Checked.Types with type 'f field = Checked.field