package boltzgen

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

val verbose : int ref

type compo_type =

| Name of string * compo_type list
(*
Denotes a type expr with arguments, i.e., 'a list
*)
| Abstract of string
(*
Denotes a polymorphic type, i.e., 'a
*)
| Fun of compo_type list * compo_type
(*
Denotes a function, i.e., 'a -> 'b
*)
| Prod of compo_type list
(*
Denotes a tuple, i.e., 'a * 'b * ... 'z
*)

A type for OCaml type

type func = {

}

A type for named functions

val ano_func : func -> compo_type

val deano_func : string -> compo_type -> func

type sum_type_def = (string * compo_type option * float option) list

type def_type_elem =

type def_type = string * string list * def_type_elem

Defines a named type with name, list of arguments, and definition

type hidden_type

Abstract type for any OCaml value

Pretty printer

type Format.stag +=

val pp_compo : ?use_boltz_id:bool -> Format.formatter -> compo_type -> unit

val pp_type_of_out : Format.formatter -> compo_type -> unit

val pp_func : 
  ?use_boltz_id:bool ->
  ?pval:bool ->
  Format.formatter ->
  func ->
  unit

val pp_def : Format.formatter -> def_type -> unit