package malfunction

You can search for identifiers within the package.

in-package search v0.2.0

package malfunction

malfunction

Legend:
Library
Module
Module type
Parameter
Class
Class type

type inttype = [

| `Int
| `Int32
| `Int64
| `Bigint

]

type numtype = [

| inttype
| `Float64

]

type numconst = [

| `Int of int
| `Int32 of Int32.t
| `Int64 of Int64.t
| `Bigint of Z.t
| `Float64 of float

]

type unary_num_op = [

| `Neg
| `Not

]

type binary_arith_op = [

| `Add
| `Sub
| `Mul
| `Div
| `Mod

]

type binary_bitwise_op = [

| `And
| `Or
| `Xor
| `Lsl
| `Lsr
| `Asr

]

type binary_comparison = [

| `Lt
| `Gt
| `Lte
| `Gte
| `Eq

]

type binary_num_op = [

| binary_arith_op
| binary_bitwise_op
| binary_comparison

]

type vector_type = [

| `Array
| `Bytevec

]

type mutability = [

| `Imm
| `Mut

]

type block_tag = private int

type case = [

| `Tag of int
| `Deftag
| `Intrange of int * int

]

val max_tag : block_tag

val tag_of_int : int -> block_tag

type var = Ident.t

val fresh : string -> var

type t =

| Mvar of var
| Mlambda of var list * t
| Mapply of t * t list
| Mlet of binding list * t
| Mnum of numconst
| Mstring of string
| Mglobal of Longident.t
| Mswitch of t * (case list * t) list
| Mnumop1 of unary_num_op * numtype * t
| Mnumop2 of binary_num_op * numtype * t * t
| Mconvert of numtype * numtype * t
| Mvecnew of vector_type * t * t
| Mvecget of vector_type * t * t
| Mvecset of vector_type * t * t * t
| Mveclen of vector_type * t
| Mlazy of t
| Mforce of t
| Mblock of int * t list
| Mfield of int * t

and binding = [

| `Unnamed of t
| `Named of var * t
| `Recursive of (var * t) list

]

val bind_val : t -> (t -> t) -> t

val bind_rec : (t -> t) -> (t -> t) -> t

val tuple : t list -> t

val lambda : (t -> t) -> t

val lambda2 : (t -> t -> t) -> t

val if_ : t -> t -> t -> t

module IntArith : sig ... end

val with_error_reporting : Format.formatter -> 'a -> (unit -> 'a) -> 'a