Module `Number.Run`

module Make
  (Impl : Snark_intf.Run_basic) : 
  Number_intf.Run
    with type field := Impl.Field.Constant.t
     and type field_var := Impl.Field.t
     and type bool_var := Impl.Boolean.var