package dolmen

  1. Overview
  2. Docs

Signature required by types for typing ae's bitvectors

type t

The type of types

val bitv : int -> t

Create a fixed size bitvector type.

OCaml

Innovation. Community. Security.