Inputs_intf.Params
val one : F.Constant.t * F.Constant.t
val group_size_in_bits : int
val a : F.Constant.t
val b : F.Constant.t