package bap-std

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val mem : (addr_size -> size -> t) Variantslib.Variant.t
val imm : (int -> t) Variantslib.Variant.t
val fold : init:'acc__ -> imm:('acc__ -> (int -> t) Variantslib.Variant.t -> 'acc__) -> mem:('acc__ -> (addr_size -> size -> t) Variantslib.Variant.t -> 'acc__) -> 'acc__
val iter : imm:((int -> t) Variantslib.Variant.t -> unit) -> mem:((addr_size -> size -> t) Variantslib.Variant.t -> unit) -> unit
val map : t -> imm:((int -> t) Variantslib.Variant.t -> int -> 'result__) -> mem: ((addr_size -> size -> t) Variantslib.Variant.t -> addr_size -> size -> 'result__) -> 'result__
val descriptions : (string * int) list