package psmt2-frontend

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ty = {

}

and desc =

val cpt_ty : int ref

val new_type : desc -> ty

val to_string : ty -> string

module IMap : sig ... end

module SMap : sig ... end

val shorten : ty -> ty

val fun_ret : ty -> ty

val is_bool : ty -> bool

val is_dummy : ty -> bool

val get_dt_name : ty -> string

val inst : ty SMap.t -> ty IMap.t -> ty -> ty IMap.t * ty

val subst : ty IMap.t -> ty -> ty

val unify : ty -> ty -> (Lexing.position * Lexing.position) option -> unit