package mirage

You can search for identifiers within the package.

in-package search v0.2.0

The MirageOS library operating system

Install

sha256=ade8c410b2de3997c4a513f53f6c990dac6af508161e20df01b64fa7975ca5be

sha512=42fddf09be84c4251417145b88d4f63b41db1b29c9622b2b4e4508e31146f227a16875e670da96251208745f79a42f0b7d2bd8b44b883a705381b4c97a4255b8

Sourcetype v =

Sourcetype t = (v * string) list

Sourceval string_of_v : v -> string

Sourceval lookup : (v * string) list -> v -> string

Sourceval defaults : Info.t -> (v * string) list