Frama-C API - `Make`

Parameters

module Env : Datatype.S_with_collections

Signature

include Monad.S

type 'a t

val return : 'a -> 'a t

val flatten : 'a t t -> 'a t

val map : ('a -> 'b) -> 'a t -> 'b t

val bind : ('a -> 'b t) -> 'a t -> 'b t

module Operators : sig ... end

type env = Env.t

val get_environment : env t

val set_environment : env -> unit t

val resolve : 'a t -> env -> 'a * env