package mopsa

Types

This modules allows extending Mopsa with new types. This is done by extending the type typ with new variants. For example

type typ += T_int

extends Mopsa types with a new integer type. Registration is performed with

let () = register_typ {
    compare = (fun next -> next);
    print = (fun next -> function
        | T_int -> Format.pp_print_string fmt "int"
        | t    -> next fmt t
      );
  }

Note that is this simple example where the type doesn't have an inner structure no comparison function is required as Stdlib.compare is sufficient to provide a total order.

Registration

Common types