links

The Links Programming Language
IN THIS PACKAGE
type 'a t
type single
val show_single : single -> Ppx_deriving_runtime.string
type multi
val object_file : 'a t -> string
val object_name : single t -> string
val declarations : 'a t -> (Binder.with_pos * datatype') list
val declaration : single t -> Binder.with_pos * datatype'
val language : 'a t -> CommonTypes.ForeignLanguage.t
val modify : ?declarations:(Binder.with_pos * datatype') list -> ?language:CommonTypes.ForeignLanguage.t -> ?object_file:string -> 'a t -> 'a t
val multi : CommonTypes.ForeignLanguage.t -> string -> (Binder.with_pos * datatype') list -> multi t