functor (Abstract : Abstractions.S->   sig     val compute : ?library:bool -> Cil_types.kernel_function -> unit     type state = Abstract.Dom.state     type value = Abstract.Val.t     val get_stmt_state : Cil_types.stmt -> state Eval.or_bottom     val eval_expr : state -> Cil_types.exp -> value Eval.evaluated   end