Snarky_curve.Field_intf
module type Basic = sig ... end
module type Constant = sig ... end
module type Checked = sig ... end