Scalars.S
val constant_term : 'a Env.t -> 'a
val index_terms : 'a Env.t -> 'a Stdlib.Lazy.t Column.Table.t