Module Snarky_curve.Field_intf

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