package miaou-core

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Miaou_interfaces.CapabilitySource

Sourcetype 'a key
Sourceval create : name:string -> 'a key
Sourceval set : 'a key -> 'a -> unit
Sourceval register : 'a key -> 'a -> unit
Sourceval get : 'a key -> 'a option
Sourceval require : 'a key -> 'a
Sourceval mem : 'a key -> bool
Sourceval clear : unit -> unit
Sourceval list : unit -> (string * bool) list
Sourcetype any =
  1. | Any : 'a key -> any
Sourceval any : 'a key -> any
Sourceval check_all : any list -> string list