Module LinExpr

module LinExpr: sig .. end

module type S = sig .. end

module Make: 
functor (SC : Scalar.S) -> S  with module Coeff = SC

module Q: S  with module Coeff = Scalar.Q

module Float: S  with module Coeff = Scalar.Float

exception Not_linear

module MakeScalar: 
functor (L : S) -> Scalar.S  with type t = L.t