Module Bindoj_runtime.Reflects

This module provides functions to create reflects.

val reflect_of_alias : ('a -> Expr.t) -> (Expr.t -> 'a option) -> 'a Refl.t

Create a new reflect of alias declaration.

val unit_reflect : unit Refl.t

A reflect of alias declaration of type unit.

val bool_reflect : bool Refl.t

A reflect of alias declaration of type bool.

val int_reflect : int Refl.t

A reflect of alias declaration of type int.

val int53p_reflect : Kxclib.int53p Refl.t

A reflect of alias declaration of type int53p.

val float_reflect : float Refl.t

A reflect of alias declaration of type float.

val string_reflect : string Refl.t

A reflect of alias declaration of type string.

val uchar_reflect : Stdlib.Uchar.t Refl.t

A reflect of alias declaration of type Uchar.t.

val byte_reflect : char Refl.t

A reflect of alias declaration of type char.

val bytes_reflect : bytes Refl.t

A reflect of alias declaration of type bytes.