{
  "title": "LChar",
  "level": "Low",
  "elements": [
    {
      "pattern": "",
      "module": "LChar",
      "name": "t",
      "type": "type",
      "signature": "type t = Char of bool * bool * bool * bool * bool * bool * bool * bool",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Creating a zero character",
      "module": "LChar",
      "name": "zero",
      "type": "value",
      "signature": "val zero : t",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Converting a character to an integer",
      "module": "LChar",
      "name": "to_int",
      "type": "function",
      "signature": "val to_int : t -> Caml.Int.t",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Creating a character from an integer",
      "module": "LChar",
      "name": "of_int",
      "type": "function",
      "signature": "val of_int : Caml.Int.t -> t",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Creating a 8-bit logic-mode character from a OCaml character",
      "module": "LChar",
      "name": "of_char",
      "type": "function",
      "signature": "val of_char : char -> t",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Converting a 8-bit logic-mode character to a OCaml character",
      "module": "LChar",
      "name": "to_char",
      "type": "function",
      "signature": "val to_char : t -> char",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Printing a 8-bit logic-mode character",
      "module": "LChar",
      "name": "pp",
      "type": "function",
      "signature": "val pp : Stdlib.Format.formatter -> t -> unit",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Splitting a string into a list of 8-bit logic-mode characters",
      "module": "LChar",
      "name": "explode",
      "type": "function",
      "signature": "val explode : string -> t list",
      "description": "",
      "examples": []
    },
    {
      "pattern": "Checking if a 8-bit logic-mode character is printable",
      "module": "LChar",
      "name": "is_printable",
      "type": "function",
      "signature": "val is_printable : t -> bool",
      "description": "",
      "examples": []
    }
  ],
  "metadata": {
    "signatures": [
      "type t = Char of bool * bool * bool * bool * bool * bool * bool * bool",
      "val zero : t",
      "val to_int : t -> Caml.Int.t",
      "val of_int : Caml.Int.t -> t [@@program]",
      "val of_char : char -> t [@@program]",
      "val to_char : t -> char",
      "val pp : Stdlib.Format.formatter -> t -> unit",
      "val explode : string -> t list [@@program]",
      "val is_printable : t -> bool"
    ],
    "source": "https://docs.imandra.ai/imandra-docs/odoc/imandra-base/Imandra_prelude/LChar/index.html",
    "description": "An 8-bit char."
  }
}