package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

BIL attributes.

BIL attributes serve the role of constructor for encoding values as special statements. The attribute defines methods for encoding and decoding values as a string as well as a unique attribute name.

  • since 2.3.0
type 'a t

the type of attributes

val declare : ?package:string -> encode:('a -> string) -> decode:(string -> 'a) -> string -> 'a t

declare ?package name ~encode ~decode declares a new attribute.

The attribute package, name pair should be unique. If an attribute with the given name is already registered the registration will fail.