Number (snarky.Snarky_backendless.Number)

module Make
  (Impl : Snark_intf.Basic) : 
  Number_intf.S
    with type 'a checked := 'a Impl.Checked.t
     and type field := Impl.Field.t
     and type field_var := Impl.Field.Var.t
     and type bool_var := Impl.Boolean.var

module Run : sig ... end