Module Module.Equation

type t = decl