package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type date = int

type dir =

module VarSet : sig ... end

module Index : sig ... end

type typ =

and siz =

and name =

and !'a var = {

}

and !'a value =

type typ_scheme = {

}

val make_var : unit -> 'a var

val new_type_var : unit -> typ

val new_size_var : unit -> siz

val new_name_var : unit -> name

val real_type : typ -> typ

val real_size : siz -> siz

val real_name : name -> name

val no_type : typ

val type_int : int list -> typ

exception TypeConflict of typ * typ

exception TypeCircularity of typ * typ

val is_event_type : typ -> bool

val ivars_of : typ -> string list

val enums_of : typ -> (string * typ) list

val size_of : typ -> int

val subtype_of : typ -> typ

val is_lit_name : name -> bool

val subst_indexes : Index.env -> typ -> typ

val type_equal : strict:bool -> typ -> typ -> bool

val unify : typ -> typ -> unit

val type_instance : typ_scheme -> typ

val string_of_type_scheme : typ_scheme -> string

val string_of_type : ?szvars:bool -> typ -> string

val string_of_name : name -> string