Parameter Make.M

type t
type result
val eval : t -> result