package ocaml-unikraft-arm64

You can search for identifiers within the package.

in-package search v0.2.0

Module `Simplify_boxed_integer_ops`

module Simplify_boxed_nativeint : 
  Simplify_boxed_integer_ops_intf.S with type t := Nativeint.t

module Simplify_boxed_int32 : 
  Simplify_boxed_integer_ops_intf.S with type t := Int32.t

module Simplify_boxed_int64 : 
  Simplify_boxed_integer_ops_intf.S with type t := Int64.t