package bap-std

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

interface of the evaluation value domain

method private virtual undefined : ('r, 'a) m
method private virtual value_of_word : word -> ('r, 'a) m
method private virtual word_of_value : 'r -> (word option, 'a) m
method private virtual storage_of_value : 'r -> ('s option, 'a) m