Module Generator.Mem_access

module Mem_access: S 

val is_computed : Kernel_function.t -> bool
val set : Kernel_function.t -> bool -> unit
val self : State.t